Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,427 workflow runs
4,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

No-postfix-projections Clean up caches generated by pull requests #528: Pull request #1240 closed by EgbertRijke
January 26, 2025 03:00 13s djspacewhale:no-postfix-projections
djspacewhale:no-postfix-projections
January 26, 2025 03:00 13s
No-postfix-projections (#1240) agda-unimath CI #8498: Commit dc4a21a pushed by EgbertRijke
January 26, 2025 03:00 7m 31s master
master
January 26, 2025 03:00 7m 31s
No-postfix-projections (#1240) Build and deploy library website #610: Commit dc4a21a pushed by EgbertRijke
January 26, 2025 03:00 6m 59s master
master
January 26, 2025 03:00 6m 59s
No-postfix-projections (#1240) Profile Library Typechecking #152: Commit dc4a21a pushed by EgbertRijke
January 26, 2025 03:00 11m 41s master
master
January 26, 2025 03:00 11m 41s
No-postfix-projections agda-unimath CI #8497: Pull request #1240 opened by djspacewhale
January 26, 2025 02:14 7m 36s djspacewhale:no-postfix-projections
djspacewhale:no-postfix-projections
January 26, 2025 02:14 7m 36s
Equality of conatural numbers agda-unimath CI #8496: Pull request #1236 synchronize by fredrik-bakke
January 24, 2025 16:59 15m 56s fredrik-bakke:equality-conaturals
fredrik-bakke:equality-conaturals
January 24, 2025 16:59 15m 56s
Equality of conatural numbers agda-unimath CI #8495: Pull request #1236 synchronize by fredrik-bakke
January 24, 2025 16:25 26m 50s fredrik-bakke:equality-conaturals
fredrik-bakke:equality-conaturals
January 24, 2025 16:25 26m 50s
Equality of conatural numbers agda-unimath CI #8494: Pull request #1236 synchronize by fredrik-bakke
January 24, 2025 12:43 5m 52s fredrik-bakke:equality-conaturals
fredrik-bakke:equality-conaturals
January 24, 2025 12:43 5m 52s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8493: Pull request #1206 ready_for_review by fredrik-bakke
January 21, 2025 21:45 13m 35s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 21:45 13m 35s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8492: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 21:37 8m 47s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 21:37 8m 47s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8491: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 21:31 5m 50s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 21:31 5m 50s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8490: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 20:55 25m 56s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 20:55 25m 56s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8489: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 20:55 14s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 20:55 14s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8488: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 20:21 5m 28s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 20:21 5m 28s
A constructive Cantor–Schröder–Bernstein theorem agda-unimath CI #8487: Pull request #1206 synchronize by fredrik-bakke
January 21, 2025 18:10 2m 59s fredrik-bakke:csbe
fredrik-bakke:csbe
January 21, 2025 18:10 2m 59s
Refactor elementary number theory agda-unimath CI #8486: Pull request #1211 synchronize by EgbertRijke
January 21, 2025 00:19 4m 50s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 21, 2025 00:19 4m 50s
Refactor elementary number theory agda-unimath CI #8485: Pull request #1211 synchronize by EgbertRijke
January 21, 2025 00:11 4m 47s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 21, 2025 00:11 4m 47s
Refactor elementary number theory agda-unimath CI #8484: Pull request #1211 synchronize by EgbertRijke
January 19, 2025 21:59 4m 13s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 19, 2025 21:59 4m 13s
Refactor elementary number theory agda-unimath CI #8483: Pull request #1211 synchronize by EgbertRijke
January 19, 2025 14:54 4m 3s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 19, 2025 14:54 4m 3s
Rename wild higher categories agda-unimath CI #8482: Pull request #1233 synchronize by fredrik-bakke
January 19, 2025 03:35 18m 37s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 19, 2025 03:35 18m 37s
Agda version 2.7.0 Clean up caches generated by pull requests #527: Pull request #1238 closed by fredrik-bakke
January 19, 2025 03:35 13s fredrik-bakke:agda-v2.7.0
fredrik-bakke:agda-v2.7.0
January 19, 2025 03:35 13s
Agda version 2.7.0 (#1238) agda-unimath CI #8481: Commit 77decd8 pushed by fredrik-bakke
January 19, 2025 03:35 25m 1s master
master
January 19, 2025 03:35 25m 1s
Agda version 2.7.0 (#1238) Build and deploy library website #609: Commit 77decd8 pushed by fredrik-bakke
January 19, 2025 03:35 30m 25s master
master
January 19, 2025 03:35 30m 25s
Agda version 2.7.0 (#1238) Profile Library Typechecking #151: Commit 77decd8 pushed by fredrik-bakke
January 19, 2025 03:35 11m 32s master
master
January 19, 2025 03:35 11m 32s
Agda version 2.7.0 agda-unimath CI #8480: Pull request #1238 synchronize by VojtechStep
January 18, 2025 18:53 16m 8s fredrik-bakke:agda-v2.7.0
fredrik-bakke:agda-v2.7.0
January 18, 2025 18:53 16m 8s