Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
553 workflow runs
553 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
pages build and deployment pages-build-deployment #317: by github-pages bot
January 6, 2025 06:02 44s gh-pages
gh-pages
January 6, 2025 06:02 44s
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
pages build and deployment pages-build-deployment #316: by github-pages bot
December 3, 2024 16:00 51s gh-pages
gh-pages
December 3, 2024 16:00 51s
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
pages build and deployment pages-build-deployment #315: by github-pages bot
November 28, 2024 10:15 47s gh-pages
gh-pages
November 28, 2024 10:15 47s
pages build and deployment pages-build-deployment #314: by github-pages bot
November 28, 2024 10:10 45s gh-pages
gh-pages
November 28, 2024 10:10 45s
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