Skip to content

Actions: UniMath/agda-unimath

Actions

agda-unimath CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
5,291 workflow runs
5,291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Irrationality of the square root of 2 agda-unimath CI #8186: Pull request #1211 synchronize by EgbertRijke
October 26, 2024 18:08 4m 34s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 26, 2024 18:08 4m 34s
Irrationality of the square root of 2 agda-unimath CI #8185: Pull request #1211 synchronize by EgbertRijke
October 26, 2024 03:49 4m 6s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 26, 2024 03:49 4m 6s
Irrationality of the square root of 2 agda-unimath CI #8184: Pull request #1211 synchronize by EgbertRijke
October 26, 2024 02:44 4m 9s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 26, 2024 02:44 4m 9s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8183: Pull request #1206 synchronize by fredrik-bakke
October 25, 2024 21:54 7m 1s fredrik-bakke:csbe
fredrik-bakke:csbe
October 25, 2024 21:54 7m 1s
Irrationality of the square root of 2 agda-unimath CI #8182: Pull request #1211 opened by EgbertRijke
October 25, 2024 21:27 4m 4s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 25, 2024 21:27 4m 4s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8181: Pull request #1196 synchronize by EgbertRijke
October 25, 2024 19:14 7m 38s EgbertRijke:globular
EgbertRijke:globular
October 25, 2024 19:14 7m 38s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8180: Pull request #1196 synchronize by EgbertRijke
October 25, 2024 18:19 7m 50s EgbertRijke:globular
EgbertRijke:globular
October 25, 2024 18:19 7m 50s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8179: Pull request #1196 synchronize by EgbertRijke
October 25, 2024 15:01 7m 42s EgbertRijke:globular
EgbertRijke:globular
October 25, 2024 15:01 7m 42s
Sylvester's sequence (#1210) agda-unimath CI #8178: Commit 0c84399 pushed by fredrik-bakke
October 25, 2024 14:56 7m 35s master
master
October 25, 2024 14:56 7m 35s
Sylvester's sequence agda-unimath CI #8177: Pull request #1210 synchronize by EgbertRijke
October 25, 2024 14:48 7m 39s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 14:48 7m 39s
Sylvester's sequence agda-unimath CI #8176: Pull request #1210 synchronize by EgbertRijke
October 25, 2024 13:45 7m 56s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 13:45 7m 56s
Sylvester's sequence agda-unimath CI #8175: Pull request #1210 synchronize by EgbertRijke
October 25, 2024 13:43 2m 14s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 13:43 2m 14s
Sylvester's sequence agda-unimath CI #8174: Pull request #1210 synchronize by EgbertRijke
October 25, 2024 13:42 1m 7s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 13:42 1m 7s
Sylvester's sequence agda-unimath CI #8173: Pull request #1210 synchronize by EgbertRijke
October 25, 2024 13:40 2m 35s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 13:40 2m 35s
Sylvester's sequence agda-unimath CI #8172: Pull request #1210 opened by EgbertRijke
October 25, 2024 13:35 4m 58s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 13:35 4m 58s
Fix euclid-mullin (#1209) agda-unimath CI #8171: Commit 48dc07c pushed by EgbertRijke
October 25, 2024 00:08 7m 26s master
master
October 25, 2024 00:08 7m 26s
Fix euclid-mullin agda-unimath CI #8170: Pull request #1209 opened by EgbertRijke
October 25, 2024 00:01 7m 37s EgbertRijke:euclid-mullin
EgbertRijke:euclid-mullin
October 25, 2024 00:01 7m 37s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8169: Pull request #1196 synchronize by EgbertRijke
October 24, 2024 23:57 7m 58s EgbertRijke:globular
EgbertRijke:globular
October 24, 2024 23:57 7m 58s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8168: Pull request #1196 synchronize by EgbertRijke
October 24, 2024 23:04 7m 20s EgbertRijke:globular
EgbertRijke:globular
October 24, 2024 23:04 7m 20s
Move OEIS to literature (#1208) agda-unimath CI #8167: Commit ffdf33c pushed by EgbertRijke
October 24, 2024 15:06 7m 34s master
master
October 24, 2024 15:06 7m 34s
Move OEIS to literature agda-unimath CI #8166: Pull request #1208 synchronize by EgbertRijke
October 24, 2024 14:58 7m 33s EgbertRijke:move-oeis
EgbertRijke:move-oeis
October 24, 2024 14:58 7m 33s
Move OEIS to literature agda-unimath CI #8165: Pull request #1208 synchronize by EgbertRijke
October 23, 2024 22:45 7m 18s EgbertRijke:move-oeis
EgbertRijke:move-oeis
October 23, 2024 22:45 7m 18s
Functoriality of morphisms of arrows agda-unimath CI #8164: Pull request #1130 synchronize by fredrik-bakke
October 23, 2024 22:34 21m 20s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 23, 2024 22:34 21m 20s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8163: Pull request #1196 synchronize by EgbertRijke
October 23, 2024 22:28 25m 36s EgbertRijke:globular
EgbertRijke:globular
October 23, 2024 22:28 25m 36s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8162: Pull request #1196 synchronize by EgbertRijke
October 23, 2024 22:14 13m 49s EgbertRijke:globular
EgbertRijke:globular
October 23, 2024 22:14 13m 49s