Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
494 workflow runs
494 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #398: by github-pages Bot
45s gh-pages
gh-pages
45s
General results about set quotients (#1312) Ubuntu build #3236: Commit 7b9019b pushed by mortberg
17m 22s master
master
17m 22s
General results about set quotients Ubuntu build #3235: Pull request #1312 synchronize by cangiuli
13m 23s cangiuli:master
cangiuli:master
13m 23s
General results about set quotients Ubuntu build #3234: Pull request #1312 opened by cangiuli
16m 27s cangiuli:master
cangiuli:master
16m 27s
Truncated logarithm over the natural numbers Ubuntu build #3233: Pull request #1311 opened by LorenzoMolena
24m 8s LorenzoMolena:logN
LorenzoMolena:logN
24m 8s
pages build and deployment pages-build-deployment #397: by github-pages Bot
1m 8s gh-pages
gh-pages
1m 8s
Fix typo in ⟨⟩⋆⟨_⟩ signature Ubuntu build #3232: Commit d4a2af6 pushed by maxsnew
25m 14s master
master
25m 14s
Fix typo in ⟨⟩⋆⟨_⟩ signature Ubuntu build #3231: Pull request #1310 opened by maxsnew
23m 31s maxsnew-patch-1
maxsnew-patch-1
23m 31s
Add Pi types for iterative sets Ubuntu build #3230: Pull request #1306 synchronize by flgrubm
23m 30s flgrubm:iterative-sets-pi
flgrubm:iterative-sets-pi
23m 30s
pages build and deployment pages-build-deployment #396: by github-pages Bot
44s gh-pages
gh-pages
44s
useful code for Int and Nat (#1309) Ubuntu build #3229: Commit 3f2e1f0 pushed by mortberg
19m 38s master
master
19m 38s
useful code for Int and Nat Ubuntu build #3228: Pull request #1309 synchronize by reswatson
3m 37s reswatson:intAndNat
reswatson:intAndNat
3m 37s
useful code for Int and Nat Ubuntu build #3227: Pull request #1309 synchronize by reswatson
20m 29s reswatson:intAndNat
reswatson:intAndNat
20m 29s
useful code for Int and Nat Ubuntu build #3226: Pull request #1309 synchronize by reswatson
20m 41s reswatson:intAndNat
reswatson:intAndNat
20m 41s
useful code for Int and Nat Ubuntu build #3225: Pull request #1309 opened by reswatson
2m 20s reswatson:intAndNat
reswatson:intAndNat
2m 20s
pages build and deployment pages-build-deployment #395: by github-pages Bot
49s gh-pages
gh-pages
49s
add foldl/map Monoid Homomorphisms (#1308) Ubuntu build #3224: Commit 8a45d73 pushed by mortberg
4m 37s master
master
4m 37s
add foldl/map Monoid Homomorphisms Ubuntu build #3223: Pull request #1308 synchronize by eiais
24m 14s eiais:listMonoid
eiais:listMonoid
24m 14s
pages build and deployment pages-build-deployment #394: by github-pages Bot
43s gh-pages
gh-pages
43s
core code missing from Nat and Int (#1304) Ubuntu build #3222: Commit 38f7bfd pushed by mortberg
24m 45s master
master
24m 45s
Add Pi types for iterative sets Ubuntu build #3221: Pull request #1306 synchronize by flgrubm
3m 8s flgrubm:iterative-sets-pi
flgrubm:iterative-sets-pi
3m 8s
Add Pi types for iterative sets Ubuntu build #3220: Pull request #1306 synchronize by flgrubm
24m 54s flgrubm:iterative-sets-pi
flgrubm:iterative-sets-pi
24m 54s
Add Pi types for iterative sets Ubuntu build #3219: Pull request #1306 synchronize by flgrubm
2m 27s flgrubm:iterative-sets-pi
flgrubm:iterative-sets-pi
2m 27s
Add Pi types for iterative sets Ubuntu build #3218: Pull request #1306 synchronize by flgrubm
2m 30s flgrubm:iterative-sets-pi
flgrubm:iterative-sets-pi
2m 30s
add foldl/map Monoid Homomorphisms Ubuntu build #3217: Pull request #1308 synchronize by eiais
2m 59s eiais:listMonoid
eiais:listMonoid
2m 59s