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

Update REAMDE.md opam #1025: Commit cf2425a pushed by 5HT
4m 26s main
main
4m 26s
pages build and deployment pages-build-deployment #406: by 5HT
37s main
main
37s
canonicity opam #1024: Commit bdfd089 pushed by 5HT
4m 32s main
main
4m 32s
pages build and deployment pages-build-deployment #405: by 5HT
39s main
main
39s
Merge branch 'main' of github.com:groupoid/anders opam #1023: Commit c4a6bca pushed by 5HT
4m 24s main
main
4m 24s
pages build and deployment pages-build-deployment #404: by 5HT
40s main
main
40s
Update REAMDE.md opam #1022: Commit 96fa436 pushed by 5HT
4m 27s main
main
4m 27s
pages build and deployment pages-build-deployment #403: by 5HT
40s main
main
40s
canonicity opam #1021: Commit 6e1e874 pushed by 5HT
4m 19s main
main
4m 19s
pages build and deployment pages-build-deployment #402: by 5HT
39s main
main
39s
canonicity opam #1020: Commit 316c251 pushed by 5HT
4m 21s main
main
4m 21s
pages build and deployment pages-build-deployment #401: by 5HT
42s main
main
42s
typo opam #1019: Commit d7b36b6 pushed by 5HT
4m 36s main
main
4m 36s
pages build and deployment pages-build-deployment #400: by 5HT
39s main
main
39s
2-19 opam #1018: Commit 4e875ba pushed by 5HT
4m 35s main
main
4m 35s
pages build and deployment pages-build-deployment #399: by 5HT
21s main
main
21s
rephrase opam #1017: Commit ae62dd5 pushed by 5HT
4m 25s main
main
4m 25s
pages build and deployment pages-build-deployment #398: by 5HT
40s main
main
40s
rephrase opam #1016: Commit 7025f0f pushed by 5HT
4m 29s main
main
4m 29s
pages build and deployment pages-build-deployment #397: by 5HT
40s main
main
40s
rephrase opam #1015: Commit 316b7b9 pushed by 5HT
4m 27s main
main
4m 27s
pages build and deployment pages-build-deployment #396: by 5HT
35s main
main
35s
linear proofs opam #1014: Commit d13e98c pushed by 5HT
4m 41s main
main
4m 41s
pages build and deployment pages-build-deployment #395: by 5HT
51s main
main
51s
Merge branch 'main' of github.com:groupoid/anders opam #1013: Commit 1fa006f pushed by 5HT
4m 38s main
main
4m 38s