Skip to content

Actions: groupoid/anders

Actions

opam

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MLTT-73 opam #1100: Commit 7877553 pushed by 5HT
May 30, 2025 15:04 16s main
main
May 30, 2025 15:04 16s
unlift A opam #1099: Commit b390b72 pushed by 5HT
May 30, 2025 14:44 19s main
main
May 30, 2025 14:44 19s
wip opam #1098: Commit b10c117 pushed by 5HT
May 18, 2025 02:06 4m 28s main
main
May 18, 2025 02:06 4m 28s
wip opam #1097: Commit 3161e95 pushed by 5HT
May 9, 2025 14:05 4m 42s main
main
May 9, 2025 14:05 4m 42s
S^1 from W+Path opam #1096: Commit f524f55 pushed by 5HT
May 2, 2025 00:34 4m 24s main
main
May 2, 2025 00:34 4m 24s
adjoint opam #1095: Commit 160b84e pushed by 5HT
April 25, 2025 15:39 4m 27s main
main
April 25, 2025 15:39 4m 27s
adjoint opam #1094: Commit 0572d0d pushed by 5HT
April 25, 2025 15:38 4m 25s main
main
April 25, 2025 15:38 4m 25s
wip opam #1093: Commit 6ed87aa pushed by 5HT
April 21, 2025 15:32 4m 36s main
main
April 21, 2025 15:32 4m 36s
wip opam #1092: Commit 069fb8a pushed by 5HT
April 21, 2025 15:27 4m 36s main
main
April 21, 2025 15:27 4m 36s
Dan opam #1091: Commit 20ff6e5 pushed by 5HT
April 18, 2025 13:41 4m 48s main
main
April 18, 2025 13:41 4m 48s
Dan opam #1090: Commit 461e2fb pushed by 5HT
April 18, 2025 13:36 4m 21s main
main
April 18, 2025 13:36 4m 21s
lambda in W opam #1089: Commit c2a8b39 pushed by 5HT
April 12, 2025 08:58 4m 22s main
main
April 12, 2025 08:58 4m 22s
fin sigma universe opam #1088: Commit 47fbef5 pushed by 5HT
April 12, 2025 08:57 4m 29s main
main
April 12, 2025 08:57 4m 29s
properties opam #1087: Commit 67c0556 pushed by 5HT
March 27, 2025 13:14 4m 37s main
main
March 27, 2025 13:14 4m 37s
properties opam #1086: Commit 626111d pushed by 5HT
March 27, 2025 12:57 4m 38s main
main
March 27, 2025 12:57 4m 38s
lean mcedit syntax opam #1085: Commit 89ea141 pushed by 5HT
March 23, 2025 17:14 4m 18s main
main
March 23, 2025 17:14 4m 18s
lean mcedit syntax opam #1084: Commit a790a76 pushed by 5HT
March 23, 2025 02:02 4m 26s main
main
March 23, 2025 02:02 4m 26s
mathstodon.xyz opam #1083: Commit 8abf0bd pushed by 5HT
March 14, 2025 05:38 4m 34s main
main
March 14, 2025 05:38 4m 34s
update simplicity opam #1082: Commit 75bea37 pushed by 5HT
February 23, 2025 01:54 4m 30s main
main
February 23, 2025 01:54 4m 30s
faces are optional opam #1081: Commit 22cce98 pushed by 5HT
February 22, 2025 12:41 4m 17s main
main
February 22, 2025 12:41 4m 17s
circle as infinity groupoid opam #1080: Commit 8f77a07 pushed by 5HT
February 22, 2025 04:41 4m 54s main
main
February 22, 2025 04:41 4m 54s
Merge branch 'main' of github.com:groupoid/anders opam #1079: Commit f360f3c pushed by 5HT
February 22, 2025 04:25 4m 30s main
main
February 22, 2025 04:25 4m 30s
Update SIMPLICITY.md opam #1078: Commit 5a0f1ca pushed by 5HT
February 22, 2025 04:22 4m 23s main
main
February 22, 2025 04:22 4m 23s
allow infinite dimensions opam #1077: Commit 43f2abb pushed by 5HT
February 22, 2025 04:20 4m 22s main
main
February 22, 2025 04:20 4m 22s
Simplicity HoTT opam #1076: Commit 2c60647 pushed by 5HT
February 22, 2025 04:13 4m 28s main
main
February 22, 2025 04:13 4m 28s