Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,194 workflow runs
6,194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Clean up caches generated by pull requests #501: Pull request #1210 closed by fredrik-bakke
October 25, 2024 14:56 15s EgbertRijke:sylvesters-sequence
EgbertRijke:sylvesters-sequence
October 25, 2024 14:56 15s
Sylvester's sequence (#1210) Profile Library Typechecking #125: Commit 0c84399 pushed by fredrik-bakke
October 25, 2024 14:56 11m 37s master
master
October 25, 2024 14:56 11m 37s
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 (#1210) Build and deploy library website #584: Commit 0c84399 pushed by fredrik-bakke
October 25, 2024 14:56 6m 38s master
master
October 25, 2024 14:56 6m 38s
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 Clean up caches generated by pull requests #500: Pull request #1209 closed by EgbertRijke
October 25, 2024 00:08 12s EgbertRijke:euclid-mullin
EgbertRijke:euclid-mullin
October 25, 2024 00:08 12s
Fix euclid-mullin (#1209) Build and deploy library website #583: Commit 48dc07c pushed by EgbertRijke
October 25, 2024 00:08 7m 2s master
master
October 25, 2024 00:08 7m 2s
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 (#1209) Profile Library Typechecking #124: Commit 48dc07c pushed by EgbertRijke
October 25, 2024 00:08 11m 45s master
master
October 25, 2024 00:08 11m 45s
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 Clean up caches generated by pull requests #499: Pull request #1208 closed by EgbertRijke
October 24, 2024 15:06 15s EgbertRijke:move-oeis
EgbertRijke:move-oeis
October 24, 2024 15:06 15s
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 (#1208) Build and deploy library website #582: Commit ffdf33c pushed by EgbertRijke
October 24, 2024 15:06 6m 33s master
master
October 24, 2024 15:06 6m 33s