Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
576 workflow runs
576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Composition of left module homomorphisms Ubuntu build #2705: Pull request #1176 synchronize 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
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
Five lemma Ubuntu build #2701: Pull request #1166 synchronize by mzhang28
December 3, 2024 23:22 Action required mzhang28:mzhang/five
mzhang28:mzhang/five
December 3, 2024 23:22 Action required
Five lemma Ubuntu build #2700: Pull request #1166 synchronize by mzhang28
December 3, 2024 23:20 Action required mzhang28:mzhang/five
mzhang28:mzhang/five
December 3, 2024 23:20 Action required
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
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
Lie algebra properties of generalised Whitehead products Ubuntu build #2692: Pull request #1170 synchronize by aljungstrom
November 15, 2024 19:00 2m 21s aljungstrom:whitehead_bilin
aljungstrom:whitehead_bilin
November 15, 2024 19:00 2m 21s
Lie algebra properties of generalised Whitehead products Ubuntu build #2691: Pull request #1170 synchronize by aljungstrom
November 15, 2024 12:39 20m 46s aljungstrom:whitehead_bilin
aljungstrom:whitehead_bilin
November 15, 2024 12:39 20m 46s
Lie algebra properties of generalised Whitehead products Ubuntu build #2690: Pull request #1170 synchronize by aljungstrom
November 15, 2024 02:27 17m 39s aljungstrom:whitehead_bilin
aljungstrom:whitehead_bilin
November 15, 2024 02:27 17m 39s
Lie algebra properties of generalised Whitehead products Ubuntu build #2689: Pull request #1170 opened by aljungstrom
November 15, 2024 01:34 2m 32s aljungstrom:whitehead_bilin
aljungstrom:whitehead_bilin
November 15, 2024 01:34 2m 32s
Polynomials over rings with decidable equality Ubuntu build #2688: Pull request #1169 synchronize by felixwellen
November 14, 2024 22:28 5m 27s fwellen/decidable-polynomials
fwellen/decidable-polynomials
November 14, 2024 22:28 5m 27s
Polynomials over rings with decidable equality Ubuntu build #2687: Pull request #1169 opened by felixwellen
November 14, 2024 22:21 5m 6s fwellen/decidable-polynomials
fwellen/decidable-polynomials
November 14, 2024 22:21 5m 6s
MaxZX Ubuntu build #2686: Pull request #1167 synchronize by FranziskusWiesnet
November 14, 2024 14:31 2m 22s FranziskusWiesnet:dev
FranziskusWiesnet:dev
November 14, 2024 14:31 2m 22s
pages build and deployment pages-build-deployment #313: by github-pages bot
November 13, 2024 14:44 43s gh-pages
gh-pages
November 13, 2024 14:44 43s
Fix compilation with agda/agda#7581 Ubuntu build #2685: Commit 9b7d5f2 pushed by UlfNorell
November 13, 2024 14:35 8m 31s master
master
November 13, 2024 14:35 8m 31s