Skip to content

Actions: agda/cubical

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Instances for Pseudolattice and OrderedCommRing Ubuntu build #3055: Pull request #1268 synchronize by LorenzoMolena
3m 12s LorenzoMolena:ocr+pl-instances
LorenzoMolena:ocr+pl-instances
3m 12s
Instances for Pseudolattice and OrderedCommRing Ubuntu build #3054: Pull request #1268 opened by LorenzoMolena
3m 5s LorenzoMolena:ocr+pl-instances
LorenzoMolena:ocr+pl-instances
3m 5s
Category no eta equality (#1247) Ubuntu build #3053: Commit 904aa21 pushed by mortberg
9m 7s master
master
9m 7s
Spectrum maps and fiber spectrum (#1231) Ubuntu build #3052: Commit 071e312 pushed by felixwellen
21m 30s master
master
21m 30s
Clean code for category of elements and simplify a presheaf notation … Ubuntu build #3051: Commit 7a6d419 pushed by mortberg
4m 30s master
master
4m 30s
Wild Monads !! (#1265) Ubuntu build #3050: Commit 1a003b2 pushed by mortberg
4m 15s master
master
4m 15s
Clean code for category of elements and simplify a presheaf notation Ubuntu build #3049: Pull request #1266 opened by mortberg
3m 48s mortberg:cleaning-elements
mortberg:cleaning-elements
3m 48s
Wild Monads !! Ubuntu build #3048: Pull request #1265 opened by anshwad10
3m 23s anshwad10:wild-monad
anshwad10:wild-monad
3m 23s
Add boolean builtins in Nat (#1262) Ubuntu build #3047: Commit 6dc0886 pushed by felixwellen
25m 57s master
master
25m 57s
Add boolean builtins in Nat Ubuntu build #3046: Pull request #1262 synchronize by LorenzoMolena
25m 25s LorenzoMolena:nat-boolean-builtin
LorenzoMolena:nat-boolean-builtin
25m 25s
More efficient implementation of /, % and GCD (#1258) Ubuntu build #3045: Commit 86485a5 pushed by felixwellen
26m 11s master
master
26m 11s
Add boolean builtins in Nat Ubuntu build #3044: Pull request #1262 synchronize by LorenzoMolena
25m 27s LorenzoMolena:nat-boolean-builtin
LorenzoMolena:nat-boolean-builtin
25m 27s
Add boolean builtins in Nat Ubuntu build #3043: Pull request #1262 synchronize by LorenzoMolena
24m 52s LorenzoMolena:nat-boolean-builtin
LorenzoMolena:nat-boolean-builtin
24m 52s
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
Non-strict order equational reasoning (#1229) Ubuntu build #3040: Commit b2e74a7 pushed by felixwellen
4m 2s master
master
4m 2s
Nat and Int instances of some order structures (#1261) Ubuntu build #3039: Commit c4401c7 pushed by felixwellen
3m 56s master
master
3m 56s
faster operations for integers (#1245) Ubuntu build #3038: Commit ac59629 pushed by felixwellen
3m 56s master
master
3m 56s
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
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