Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
481 workflow runs
481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add boolean builtins in Nat Ubuntu build #3042: Pull request #1262 synchronize by LorenzoMolena
25m 20s LorenzoMolena:nat-boolean-builtin
LorenzoMolena:nat-boolean-builtin
25m 20s
More efficient implementation of /, % and GCD Ubuntu build #3041: Pull request #1258 synchronize by LorenzoMolena
16m 16s LorenzoMolena:compatible-gcd
LorenzoMolena:compatible-gcd
16m 16s
pages build and deployment pages-build-deployment #359: by github-pages bot
48s gh-pages
gh-pages
48s
Non-strict order equational reasoning (#1229) Ubuntu build #3040: Commit b2e74a7 pushed by felixwellen
4m 2s master
master
4m 2s
pages build and deployment pages-build-deployment #358: by github-pages bot
57s gh-pages
gh-pages
57s
Nat and Int instances of some order structures (#1261) Ubuntu build #3039: Commit c4401c7 pushed by felixwellen
3m 56s master
master
3m 56s
pages build and deployment pages-build-deployment #357: by github-pages bot
48s gh-pages
gh-pages
48s
faster operations for integers (#1245) Ubuntu build #3038: Commit ac59629 pushed by felixwellen
3m 56s master
master
3m 56s
pages build and deployment pages-build-deployment #356: by github-pages bot
43s gh-pages
gh-pages
43s
Wait for goal type in Nat solver (#1263) Ubuntu build #3037: Commit fe7b50e pushed by felixwellen
4m 29s master
master
4m 29s
Wait for goal type in Nat solver Ubuntu build #3036: Pull request #1263 opened by ncfavier
3m 22s nat-solver-wait
nat-solver-wait
3m 22s
New notion of equivalence: Bijective relations Ubuntu build #3035: Pull request #1252 synchronize by anshwad10
25m 18s anshwad10:bifunctional-rel
anshwad10:bifunctional-rel
25m 18s
New notion of equivalence: Bijective relations Ubuntu build #3034: Pull request #1252 synchronize by anshwad10
2m 16s anshwad10:bifunctional-rel
anshwad10:bifunctional-rel
2m 16s
pages build and deployment pages-build-deployment #355: by github-pages bot
48s gh-pages
gh-pages
48s
pages build and deployment pages-build-deployment #354: by github-pages bot
45s gh-pages
gh-pages
45s
Change variable declaration to private (#1256) Ubuntu build #3033: Commit bae8d33 pushed by maxsnew
18m 15s master
master
18m 15s
A series of equality lemmas for SetQuotient (#1259) Ubuntu build #3032: Commit c68e112 pushed by maxsnew
18m 7s master
master
18m 7s
A series of equality lemmas for SetQuotient Ubuntu build #3031: Pull request #1259 reopened by reswatson
3m 4s reswatson:master
reswatson:master
3m 4s
A series of equality lemmas for SetQuotient Ubuntu build #3030: Pull request #1259 synchronize by reswatson
18m 50s reswatson:master
reswatson:master
18m 50s
A series of equality lemmas for SetQuotient Ubuntu build #3029: Pull request #1259 synchronize by reswatson
2m 32s reswatson:master
reswatson:master
2m 32s
A series of equality lemmas for SetQuotient Ubuntu build #3028: Pull request #1259 synchronize by reswatson
2m 20s reswatson:master
reswatson:master
2m 20s
pages build and deployment pages-build-deployment #353: by github-pages bot
54s gh-pages
gh-pages
54s
Definition of OrderedCommRing (#1246) Ubuntu build #3027: Commit dc8f69e pushed by mortberg
42m 43s master
master
42m 43s
Add boolean builtins in Nat Ubuntu build #3026: Pull request #1262 opened by LorenzoMolena
40m 23s LorenzoMolena:nat-boolean-builtin
LorenzoMolena:nat-boolean-builtin
40m 23s
Lie algebra properties of Whitehead products Ubuntu build #3023: Pull request #1170 synchronize by aljungstrom
25m 19s aljungstrom:whitehead_bilin
aljungstrom:whitehead_bilin
25m 19s