Skip to content

Actions: UniMath/agda-unimath

Actions

agda-unimath CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
1,739 workflow run results
1,739 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 (#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 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 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
The additive group of rational numbers agda-unimath CI #7041: Pull request #1100 synchronize by malarbol
April 7, 2024 16:19 3m 11s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 7, 2024 16:19 3m 11s
The additive group of rational numbers agda-unimath CI #7040: Pull request #1100 synchronize by malarbol
April 7, 2024 16:17 3m 8s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 7, 2024 16:17 3m 8s
The additive group of rational numbers agda-unimath CI #7039: Pull request #1100 synchronize by malarbol
April 7, 2024 14:50 5m 2s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 7, 2024 14:50 5m 2s
The additive group of rational numbers agda-unimath CI #7038: Pull request #1100 synchronize by malarbol
April 7, 2024 14:18 5m 55s malarbol:additive-group-rational-numbers
malarbol:additive-group-rational-numbers
April 7, 2024 14:18 5m 55s
Shifts and unshifts of concepts around sequential colimits agda-unimath CI #7037: Pull request #1070 synchronize by VojtechStep
April 6, 2024 22:47 2m 46s VojtechStep:feature/sequential-colimits
VojtechStep:feature/sequential-colimits
April 6, 2024 22:47 2m 46s
Propositional operations agda-unimath CI #7036: Pull request #1008 synchronize by fredrik-bakke
April 6, 2024 21:35 2m 27s fredrik-bakke:prop-ops
fredrik-bakke:prop-ops
April 6, 2024 21:35 2m 27s