Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,056 workflow run results
2,056 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The commutative ring of rational numbers agda-unimath CI #7060: Pull request #1107 synchronize by malarbol
April 10, 2024 23:21 3m 20s malarbol:ring-rational-numbers
malarbol:ring-rational-numbers
April 10, 2024 23:21 3m 20s
Adding explicit zero algebras agda-unimath CI #7059: Pull request #1095 synchronize by djspacewhale
April 10, 2024 22:23 1m 9s djspacewhale:comm-alg-commits
djspacewhale:comm-alg-commits
April 10, 2024 22:23 1m 9s
The commutative ring of rational numbers agda-unimath CI #7058: Pull request #1107 opened by malarbol
April 10, 2024 15:44 3m 0s malarbol:ring-rational-numbers
malarbol:ring-rational-numbers
April 10, 2024 15:44 3m 0s
Splitting idempotents agda-unimath CI #7057: Pull request #1105 synchronize by fredrik-bakke
April 10, 2024 11:20 3m 25s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 10, 2024 11:20 3m 25s
Splitting idempotents agda-unimath CI #7056: Pull request #1105 ready_for_review by fredrik-bakke
April 10, 2024 10:49 2m 35s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 10, 2024 10:49 2m 35s
Splitting idempotents agda-unimath CI #7055: Pull request #1105 synchronize by fredrik-bakke
April 10, 2024 10:31 17m 49s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 10, 2024 10:31 17m 49s
Splitting idempotents agda-unimath CI #7054: Pull request #1105 synchronize by fredrik-bakke
April 10, 2024 10:30 1m 32s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 10, 2024 10:30 1m 32s
Splitting idempotents agda-unimath CI #7053: Pull request #1105 synchronize by fredrik-bakke
April 10, 2024 10:29 58s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 10, 2024 10:29 58s
Shifts and unshifts of concepts around sequential colimits Clean up caches generated by pull requests #413: Pull request #1070 closed by VojtechStep
April 10, 2024 09:31 15s VojtechStep:feature/sequential-colimits
VojtechStep:feature/sequential-colimits
April 10, 2024 09:31 15s
Shifts and unshifts of concepts around sequential colimits (#1070) agda-unimath CI #7052: Commit 20569c1 pushed by VojtechStep
April 10, 2024 09:31 3m 5s master
master
April 10, 2024 09:31 3m 5s
Shifts and unshifts of concepts around sequential colimits (#1070) Profile Library Typechecking #41: Commit 20569c1 pushed by VojtechStep
April 10, 2024 09:31 10m 52s master
master
April 10, 2024 09:31 10m 52s
Shifts and unshifts of concepts around sequential colimits (#1070) Build and deploy library website #500: Commit 20569c1 pushed by VojtechStep
April 10, 2024 09:31 11m 7s master
master
April 10, 2024 09:31 11m 7s
Shifts and unshifts of concepts around sequential colimits agda-unimath CI #7051: Pull request #1070 synchronize by VojtechStep
April 10, 2024 09:16 13m 32s VojtechStep:feature/sequential-colimits
VojtechStep:feature/sequential-colimits
April 10, 2024 09:16 13m 32s
Splitting idempotents agda-unimath CI #7050: Pull request #1105 synchronize by fredrik-bakke
April 9, 2024 21:41 19m 21s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 9, 2024 21:41 19m 21s
Splitting idempotents agda-unimath CI #7049: Pull request #1105 synchronize by fredrik-bakke
April 9, 2024 21:40 45s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 9, 2024 21:40 45s
Splitting idempotents agda-unimath CI #7048: Pull request #1105 synchronize by fredrik-bakke
April 9, 2024 19:05 13m 33s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 9, 2024 19:05 13m 33s
The additive group of rational numbers (#1100) agda-unimath CI #7047: Commit 1b01393 pushed by fredrik-bakke
April 9, 2024 19:04 11m 2s master
master
April 9, 2024 19:04 11m 2s
The additive group of rational numbers (#1100) Profile Library Typechecking #40: Commit 1b01393 pushed by fredrik-bakke
April 9, 2024 19:04 10m 42s master
master
April 9, 2024 19:04 10m 42s
The additive group of rational numbers (#1100) Build and deploy library website #499: Commit 1b01393 pushed by fredrik-bakke
April 9, 2024 19:04 17m 51s master
master
April 9, 2024 19:04 17m 51s
The additive group of rational numbers Clean up caches generated by pull requests #412: Pull request #1100 closed by fredrik-bakke
April 9, 2024 19:04 20s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 9, 2024 19:04 20s
The additive group of rational numbers agda-unimath CI #7046: Pull request #1100 synchronize by malarbol
April 9, 2024 17:47 3m 38s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 9, 2024 17:47 3m 38s
The additive group of rational numbers agda-unimath CI #7045: Pull request #1100 synchronize by malarbol
April 9, 2024 17:32 4m 46s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 9, 2024 17:32 4m 46s
The additive group of rational numbers agda-unimath CI #7044: Pull request #1100 synchronize by malarbol
April 9, 2024 16:53 3m 30s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 9, 2024 16:53 3m 30s
Splitting idempotents agda-unimath CI #7043: Pull request #1105 synchronize by fredrik-bakke
April 9, 2024 15:37 3m 25s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 9, 2024 15:37 3m 25s
Splitting idempotents agda-unimath CI #7042: Pull request #1105 synchronize by fredrik-bakke
April 9, 2024 12:20 16m 38s fredrik-bakke:idempotents
fredrik-bakke:idempotents
April 9, 2024 12:20 16m 38s