Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduced homology of CW complexes Ubuntu build #2719: Pull request #1175 synchronize by loic-p
January 21, 2025 15:16 26m 40s loic-p:reduced_homology
loic-p:reduced_homology
January 21, 2025 15:16 26m 40s
Formalize Theorem 7.2.2 in the HoTT Book Ubuntu build #2718: Pull request #1180 opened by anshwad10
January 15, 2025 04:19 Action required anshwad10:patch-2
anshwad10:patch-2
January 15, 2025 04:19 Action required
Update Prelude.agda Ubuntu build #2717: Pull request #1179 synchronize by anshwad10
January 13, 2025 16:05 Action required anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 16:05 Action required
Update Prelude.agda Ubuntu build #2716: Pull request #1179 synchronize by anshwad10
January 13, 2025 16:05 Action required anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 16:05 Action required
Update Prelude.agda Ubuntu build #2715: Pull request #1179 synchronize by anshwad10
January 13, 2025 15:58 13m 51s anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 15:58 13m 51s
Update Prelude.agda Ubuntu build #2714: Pull request #1179 synchronize by anshwad10
January 13, 2025 14:34 7m 7s anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 14:34 7m 7s
Update Prelude.agda Ubuntu build #2713: Pull request #1179 synchronize by anshwad10
January 13, 2025 13:01 2m 24s anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 13:01 2m 24s
Update Prelude.agda Ubuntu build #2712: Pull request #1179 synchronize by anshwad10
January 13, 2025 12:33 Action required anshwad10:patch-1
anshwad10:patch-1
January 13, 2025 12:33 Action required
Update Prelude.agda Ubuntu build #2711: Pull request #1179 synchronize by anshwad10
January 12, 2025 13:27 Action required anshwad10:patch-1
anshwad10:patch-1
January 12, 2025 13:27 Action required
Update Prelude.agda Ubuntu build #2710: Pull request #1179 synchronize by anshwad10
January 12, 2025 13:27 Action required anshwad10:patch-1
anshwad10:patch-1
January 12, 2025 13:27 Action required
Update Prelude.agda Ubuntu build #2709: Pull request #1179 opened by anshwad10
January 12, 2025 10:17 2m 27s anshwad10:patch-1
anshwad10:patch-1
January 12, 2025 10:17 2m 27s
Add instances to Prelude.agda Ubuntu build #2708: Pull request #1178 opened by anshwad10
January 12, 2025 10:12 Action required anshwad10:patch-2
anshwad10:patch-2
January 12, 2025 10:12 Action required
another minor universe level generalisation (#1177) Ubuntu build #2707: Commit 2f085f5 pushed by felixwellen
January 6, 2025 05:11 51m 14s master
master
January 6, 2025 05:11 51m 14s
Another minor universe level generalisation Ubuntu build #2706: Pull request #1177 opened by awswan
January 5, 2025 14:52 49m 20s awswan:master
awswan:master
January 5, 2025 14:52 49m 20s
Composition of left module homomorphisms Ubuntu build #2705: Pull request #1176 synchronize by mzhang28
December 30, 2024 21:02 22m 11s mzhang28:mzhang/comp-left-module-hom
mzhang28:mzhang/comp-left-module-hom
December 30, 2024 21:02 22m 11s
Composition of left module homomorphisms Ubuntu build #2704: Pull request #1176 opened by mzhang28
December 30, 2024 21:02 Action required mzhang28:mzhang/comp-left-module-hom
mzhang28:mzhang/comp-left-module-hom
December 30, 2024 21:02 Action required
Reduced homology of CW complexes Ubuntu build #2703: Pull request #1175 opened by loic-p
December 22, 2024 20:36 50m 23s loic-p:reduced_homology
loic-p:reduced_homology
December 22, 2024 20:36 50m 23s
Five lemma Ubuntu build #2702: Pull request #1166 synchronize by mzhang28
December 6, 2024 23:33 51m 41s mzhang28:mzhang/five
mzhang28:mzhang/five
December 6, 2024 23:33 51m 41s
a few minor utility functions (#1174) Ubuntu build #2699: Commit a126e3f pushed by felixwellen
December 3, 2024 15:26 33m 48s master
master
December 3, 2024 15:26 33m 48s
A few minor utility functions Ubuntu build #2698: Pull request #1174 opened by awswan
November 28, 2024 13:59 31m 59s awswan:various-utility-functions
awswan:various-utility-functions
November 28, 2024 13:59 31m 59s
Indexed W-types: hlevel without univalence. (#1172) Ubuntu build #2697: Commit 76f5e6a pushed by felixwellen
November 28, 2024 09:26 48m 14s master
master
November 28, 2024 09:26 48m 14s
fix incorrectly named isIsoToIso, add IsoToIsIso (#1173) Ubuntu build #2696: Commit 00f0193 pushed by felixwellen
November 28, 2024 09:20 50m 43s master
master
November 28, 2024 09:20 50m 43s
fix incorrectly named isIsoToIso, add IsoToIsIso Ubuntu build #2695: Pull request #1173 opened by maxsnew
November 27, 2024 18:09 51m 3s maxsnew:isIso
maxsnew:isIso
November 27, 2024 18:09 51m 3s
Indexed W-types: hlevel without univalence. Ubuntu build #2694: Pull request #1172 opened by anuyts
November 25, 2024 15:13 50m 57s anuyts:iw
anuyts:iw
November 25, 2024 15:13 50m 57s
Update Powerset.agda Ubuntu build #2693: Pull request #1171 opened by anshwad10
November 23, 2024 11:46 3m 9s anshwad10:patch-1
anshwad10:patch-1
November 23, 2024 11:46 3m 9s