Skip to content

Actions: BlockstreamResearch/simplicity-lang-org

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #32: by imaginator
22s gh-pages
gh-pages
22s
testing alternative domain (GH Pages still broken) ci #29: Commit b3630cc pushed by imaginator
24s main
main
24s
Merge branch 'main' of github.com:BlockstreamResearch/simplicity-lang… ci #28: Commit 64fec2e pushed by imaginator
30s main
main
30s
pages build and deployment pages-build-deployment #31: by imaginator
22s gh-pages
gh-pages
22s
Create CNAME ci #27: Commit eb07d5b pushed by imaginator
19s main
main
19s
pages build and deployment pages-build-deployment #30: by imaginator
41s main
main
41s
another test ci #26: Commit 8bb86fc pushed by imaginator
20s main
main
20s
try simplified mkdocs deploy ci #25: Commit 3b6a4e5 pushed by imaginator
Failure main
main
Failure
update writing guide (and test publishing) ci #24: Commit 439a615 pushed by imaginator
24s main
main
24s
update writing guide ci #23: Commit f614b80 pushed by imaginator
23s main
main
23s
update how-simplicity-works with more details. ci #22: Commit f1158f2 pushed by imaginator
33s main
main
33s
if this works, publishing is working ci #21: Commit a9d6fe8 pushed by imaginator
18s main
main
18s
aparently disables the ci #20: Commit c5dd777 pushed by imaginator
31s main
main
31s
pages build and deployment pages-build-deployment #29: by imaginator
27s gh-pages
gh-pages
27s
Create CNAME ci #18: Commit c2cba68 pushed by imaginator
27s main
main
27s
testing publishing ci #17: Commit 0c9fcec pushed by imaginator
21s main
main
21s
Add GitHub Actions workflow for mdBook deployment Deploy mdBook site to Pages #1: Commit 9be5467 pushed by imaginator
2m 3s main
main
2m 3s
Add GitHub Actions workflow for mdBook deployment build-and-deploy-pages #3: Commit 9be5467 pushed by imaginator
32s main
main
32s
Merge branch 'main' of github.com:BlockstreamResearch/simplicity-lang… build-and-deploy-pages #2: Commit 7dce32d pushed by imaginator
32s main
main
32s
Add GitHub Actions workflow for build and deploy build-and-deploy-pages #1: Commit 2f62c4d pushed by imaginator
23s main
main
23s
Add GitHub Actions workflow for build and deploy ci #16: Commit 2f62c4d pushed by imaginator
27s main
main
27s
Delete CNAME ci #15: Commit 902b0e6 pushed by imaginator
47s main
main
47s
fixes to co-pilot instructions (build test) ci #14: Commit 99cdcc1 pushed by imaginator
35s main
main
35s
missing mkdocs-material ci #13: Commit 2b0e660 pushed by imaginator
35s main
main
35s
fix plugins to show doc committers ci #12: Commit 73cad50 pushed by imaginator
23s main
main
23s