Skip to content

Actions: groupoid/anders

Actions

opam

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
22 workflow runs
22 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
wip opam #1108: Commit 61a2427 pushed by 5HT
4m 53s main
main
4m 53s
wip opam #1105: Commit 87c673e pushed by 5HT
4m 25s main
main
4m 25s
Merge branch 'main' of github.com:groupoid/anders opam #1104: Commit 3ba83ed pushed by 5HT
4m 2s main
main
4m 2s
Update CNAME opam #1103: Commit baf3b71 pushed by 5HT
4m 33s main
main
4m 33s
Update CNAME opam #1102: Commit 882a96d pushed by 5HT
5m 2s main
main
5m 2s
dan opam #1101: Commit f118240 pushed by 5HT
4m 44s main
main
4m 44s
wip opam #1098: Commit b10c117 pushed by 5HT
4m 28s main
main
4m 28s
wip opam #1097: Commit 3161e95 pushed by 5HT
4m 42s main
main
4m 42s
S^1 from W+Path opam #1096: Commit f524f55 pushed by 5HT
4m 24s main
main
4m 24s
adjoint opam #1095: Commit 160b84e pushed by 5HT
4m 27s main
main
4m 27s
adjoint opam #1094: Commit 0572d0d pushed by 5HT
4m 25s main
main
4m 25s
wip opam #1093: Commit 6ed87aa pushed by 5HT
4m 36s main
main
4m 36s
wip opam #1092: Commit 069fb8a pushed by 5HT
4m 36s main
main
4m 36s
Dan opam #1091: Commit 20ff6e5 pushed by 5HT
4m 48s main
main
4m 48s
Dan opam #1090: Commit 461e2fb pushed by 5HT
4m 21s main
main
4m 21s
lambda in W opam #1089: Commit c2a8b39 pushed by 5HT
4m 22s main
main
4m 22s
fin sigma universe opam #1088: Commit 47fbef5 pushed by 5HT
4m 29s main
main
4m 29s
properties opam #1087: Commit 67c0556 pushed by 5HT
4m 37s main
main
4m 37s
properties opam #1086: Commit 626111d pushed by 5HT
4m 38s main
main
4m 38s
lean mcedit syntax opam #1085: Commit 89ea141 pushed by 5HT
4m 18s main
main
4m 18s
lean mcedit syntax opam #1084: Commit a790a76 pushed by 5HT
4m 26s main
main
4m 26s
mathstodon.xyz opam #1083: Commit 8abf0bd pushed by 5HT
4m 34s main
main
4m 34s