Skip to content

Actions: groupoid/anders

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #469: by 5HT
43s main
main
43s
properties opam #1087: Commit 67c0556 pushed by 5HT
4m 37s main
main
4m 37s
pages build and deployment pages-build-deployment #468: by 5HT
45s main
main
45s
properties opam #1086: Commit 626111d pushed by 5HT
4m 38s main
main
4m 38s
pages build and deployment pages-build-deployment #467: by 5HT
48s main
main
48s
lean mcedit syntax opam #1085: Commit 89ea141 pushed by 5HT
4m 18s main
main
4m 18s
pages build and deployment pages-build-deployment #466: by 5HT
44s main
main
44s
lean mcedit syntax opam #1084: Commit a790a76 pushed by 5HT
4m 26s main
main
4m 26s
pages build and deployment pages-build-deployment #465: by 5HT
42s main
main
42s
mathstodon.xyz opam #1083: Commit 8abf0bd pushed by 5HT
4m 34s main
main
4m 34s
pages build and deployment pages-build-deployment #464: by 5HT
36s main
main
36s
update simplicity opam #1082: Commit 75bea37 pushed by 5HT
4m 30s main
main
4m 30s
pages build and deployment pages-build-deployment #463: by 5HT
39s main
main
39s
faces are optional opam #1081: Commit 22cce98 pushed by 5HT
4m 17s main
main
4m 17s
pages build and deployment pages-build-deployment #462: by 5HT
37s main
main
37s
circle as infinity groupoid opam #1080: Commit 8f77a07 pushed by 5HT
4m 54s main
main
4m 54s
pages build and deployment pages-build-deployment #461: by 5HT
38s main
main
38s
Merge branch 'main' of github.com:groupoid/anders opam #1079: Commit f360f3c pushed by 5HT
4m 30s main
main
4m 30s
pages build and deployment pages-build-deployment #460: by 5HT
44s main
main
44s
Update SIMPLICITY.md opam #1078: Commit 5a0f1ca pushed by 5HT
4m 23s main
main
4m 23s
pages build and deployment pages-build-deployment #459: by 5HT
37s main
main
37s
allow infinite dimensions opam #1077: Commit 43f2abb pushed by 5HT
4m 22s main
main
4m 22s
pages build and deployment pages-build-deployment #458: by 5HT
40s main
main
40s
Simplicity HoTT opam #1076: Commit 2c60647 pushed by 5HT
4m 28s main
main
4m 28s
pages build and deployment pages-build-deployment #457: by 5HT
40s main
main
40s