Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
444 workflow runs
444 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
Truncated logarithm over the natural numbers Ubuntu build #3249: Pull request #1311 synchronize by LorenzoMolena
44m 24s LorenzoMolena:logN
LorenzoMolena:logN
44m 24s
Properties of OrderedCommRings Ubuntu build #3248: Pull request #1303 synchronize by LorenzoMolena
41m 57s LorenzoMolena:ocr-update
LorenzoMolena:ocr-update
41m 57s
Make join-assoc level-polymorphic Ubuntu build #3247: Pull request #1204 synchronize by ricky136973
Action required ricky136973:join-assoc-level-poly
ricky136973:join-assoc-level-poly
Action required
added a decomposition of the generated ideal. Ubuntu build #3246: Pull request #1317 opened by Freek98
3m 16s Freek98:IdealInduction
Freek98:IdealInduction
3m 16s
Normalised Q plus related Ubuntu build #3245: Pull request #1313 synchronize by reswatson
21m 29s reswatson:normalisedQ
reswatson:normalisedQ
21m 29s
added trivialQuotient->1\inI Ubuntu build #3244: Pull request #1316 opened by Freek98
5m 20s Freek98:KernelOfQuotientCommRing
Freek98:KernelOfQuotientCommRing
5m 20s
pages build and deployment pages-build-deployment #400: by github-pages Bot
1m 12s gh-pages
gh-pages
1m 12s
BooleanAlgebraStr now infers the underlying set (#1297) Ubuntu build #3243: Commit 9216603 pushed by ecavallo
4m 5s master
master
4m 5s
BooleanAlgebraStr now infers the underlying set Ubuntu build #3242: Pull request #1297 synchronize by ecavallo
3m 14s Freek98:BooleanAlgebra
Freek98:BooleanAlgebra
3m 14s
pages build and deployment pages-build-deployment #399: by github-pages Bot
59s gh-pages
gh-pages
59s
made some variables private instead of global (#1315) Ubuntu build #3241: Commit 3686f9d pushed by mortberg
3m 44s master
master
3m 44s
made some variables private instead of global Ubuntu build #3240: Pull request #1315 opened by Freek98
2m 52s Freek98:private-variable-fix
Freek98:private-variable-fix
2m 52s
perf: compact normal form of CommAlgebra baseChange Ubuntu build #3239: Pull request #1314 synchronize by plt-amy
8m 44s plt-amy:aliao/oncoprod-perf
plt-amy:aliao/oncoprod-perf
8m 44s
perf: compact normal form of CommAlgebra baseChange Ubuntu build #3238: Pull request #1314 opened by plt-amy
2m 54s plt-amy:aliao/oncoprod-perf
plt-amy:aliao/oncoprod-perf
2m 54s
Normalised Q plus related Ubuntu build #3237: Pull request #1313 opened by reswatson
22m 54s reswatson:normalisedQ
reswatson:normalisedQ
22m 54s
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