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 #419: by 5HT
39s main
main
39s
Update CANONICITY.md opam #1037: Commit 4c08519 pushed by 5HT
4m 38s main
main
4m 38s
pages build and deployment pages-build-deployment #418: by 5HT
38s main
main
38s
Update TRIPLES.md opam #1036: Commit 945b2fa pushed by 5HT
4m 29s main
main
4m 29s
pages build and deployment pages-build-deployment #417: by 5HT
42s main
main
42s
Update TRIPLES.md opam #1035: Commit 14f061f pushed by 5HT
4m 32s main
main
4m 32s
pages build and deployment pages-build-deployment #416: by 5HT
43s main
main
43s
Merge branch 'main' of github.com:groupoid/anders opam #1034: Commit a56bccc pushed by 5HT
4m 36s main
main
4m 36s
pages build and deployment pages-build-deployment #415: by 5HT
39s main
main
39s
Update REAMDE.md opam #1033: Commit f684e46 pushed by 5HT
4m 27s main
main
4m 27s
pages build and deployment pages-build-deployment #414: by 5HT
44s main
main
44s
Update REAMDE.md opam #1032: Commit f41c954 pushed by 5HT
4m 50s main
main
4m 50s
pages build and deployment pages-build-deployment #413: by 5HT
43s main
main
43s
Update REAMDE.md opam #1031: Commit 5a82272 pushed by 5HT
4m 23s main
main
4m 23s
pages build and deployment pages-build-deployment #412: by 5HT
38s main
main
38s
pages build and deployment pages-build-deployment #411: by 5HT
58s main
main
58s
Merge branch 'main' of github.com:groupoid/anders opam #1030: Commit 236779f pushed by 5HT
4m 23s main
main
4m 23s
Update REAMDE.md opam #1029: Commit 8d956b7 pushed by 5HT
4m 51s main
main
4m 51s
pages build and deployment pages-build-deployment #410: by 5HT
41s main
main
41s
Update REAMDE.md opam #1028: Commit 3f7c56f pushed by 5HT
4m 57s main
main
4m 57s
pages build and deployment pages-build-deployment #409: by 5HT
38s main
main
38s
Update REAMDE.md opam #1027: Commit caa2ab2 pushed by 5HT
4m 32s main
main
4m 32s
pages build and deployment pages-build-deployment #408: by 5HT
37s main
main
37s
Update REAMDE.md opam #1026: Commit 48b5246 pushed by 5HT
4m 56s main
main
4m 56s
pages build and deployment pages-build-deployment #407: by 5HT
43s main
main
43s