Skip to content

Actions: saki-lang/saki-lang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #23: by RIvance
25s gh-pages
gh-pages
25s
pages build and deployment pages-build-deployment #22: by RIvance
25s gh-pages
gh-pages
25s
pages build and deployment pages-build-deployment #21: by github-pages bot
25s gh-pages
gh-pages
25s
fix ci #24: Commit 64995cc pushed by RIvance
26s master
master
26s
pages build and deployment pages-build-deployment #20: by github-pages bot
29s gh-pages
gh-pages
29s
update ci #23: Commit 5afe638 pushed by RIvance
23s master
master
23s
pages build and deployment pages-build-deployment #19: by github-pages bot
22s gh-pages
gh-pages
22s
update ci #22: Commit 66d8c24 pushed by RIvance
24s master
master
24s
pages build and deployment pages-build-deployment #18: by github-pages bot
25s gh-pages
gh-pages
25s
example ci #21: Commit da40a99 pushed by RIvance
27s master
master
27s
pages build and deployment pages-build-deployment #17: by github-pages bot
22s gh-pages
gh-pages
22s
subtyping ci #20: Commit 6905a46 pushed by RIvance
26s master
master
26s
pages build and deployment pages-build-deployment #16: by github-pages bot
29s gh-pages
gh-pages
29s
update ci #19: Commit 3d6378f pushed by RIvance
28s master
master
28s
pages build and deployment pages-build-deployment #15: by github-pages bot
34s gh-pages
gh-pages
34s
feat(core): add union type (sum type) ci #18: Commit 2c00cf7 pushed by RIvance
27s master
master
27s
pages build and deployment pages-build-deployment #14: by github-pages bot
22s gh-pages
gh-pages
22s
docs: update intro ci #17: Commit c29ff9d pushed by RIvance
24s master
master
24s
pages build and deployment pages-build-deployment #13: by github-pages bot
24s gh-pages
gh-pages
24s
docs: update ci #16: Commit 640a521 pushed by RIvance
24s master
master
24s
pages build and deployment pages-build-deployment #12: by github-pages bot
32s gh-pages
gh-pages
32s
docs: add formal proof ci #15: Commit deb756f pushed by RIvance
23s master
master
23s
pages build and deployment pages-build-deployment #11: by github-pages bot
31s gh-pages
gh-pages
31s
docs: MLTT ci #14: Commit 69f0770 pushed by RIvance
27s master
master
27s
pages build and deployment pages-build-deployment #10: by github-pages bot
28s gh-pages
gh-pages
28s