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 #8234: Pull request #1206 synchronize by fredrik-bakke
November 1, 2024 22:01 7m 32s fredrik-bakke:csbe
fredrik-bakke:csbe
November 1, 2024 22:01 7m 32s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8233: Pull request #1206 synchronize by fredrik-bakke
November 1, 2024 21:05 7m 43s fredrik-bakke:csbe
fredrik-bakke:csbe
November 1, 2024 21:05 7m 43s
Strict inequality in standard finite types agda-unimath CI #8232: Pull request #1219 synchronize by FernandoChu
November 1, 2024 12:38 5m 29s FernandoChu:master
FernandoChu:master
November 1, 2024 12:38 5m 29s
Strict inequality in standard finite types agda-unimath CI #8231: Pull request #1219 synchronize by FernandoChu
November 1, 2024 08:16 18m 32s FernandoChu:master
FernandoChu:master
November 1, 2024 08:16 18m 32s
Strict inequality in standard finite types agda-unimath CI #8230: Pull request #1219 synchronize by FernandoChu
November 1, 2024 07:54 7m 38s FernandoChu:master
FernandoChu:master
November 1, 2024 07:54 7m 38s
Irrationality of the square root of 2 agda-unimath CI #8229: Pull request #1211 synchronize by EgbertRijke
October 31, 2024 21:38 10m 4s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 31, 2024 21:38 10m 4s
Adding an acknowledgement Clean up caches generated by pull requests #509: Pull request #1218 closed by EgbertRijke
October 31, 2024 21:38 14s EgbertRijke:acknowledgements-muri
EgbertRijke:acknowledgements-muri
October 31, 2024 21:38 14s
Adding an acknowledgement (#1218) Build and deploy library website #592: Commit d20dc8f pushed by EgbertRijke
October 31, 2024 21:38 6m 31s master
master
October 31, 2024 21:38 6m 31s
Adding an acknowledgement (#1218) Profile Library Typechecking #133: Commit d20dc8f pushed by EgbertRijke
October 31, 2024 21:38 11m 56s master
master
October 31, 2024 21:38 11m 56s
Adding an acknowledgement (#1218) agda-unimath CI #8228: Commit d20dc8f pushed by EgbertRijke
October 31, 2024 21:38 5m 12s master
master
October 31, 2024 21:38 5m 12s
Irrationality of the square root of 2 agda-unimath CI #8227: Pull request #1211 synchronize by EgbertRijke
October 31, 2024 21:33 4m 59s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 31, 2024 21:33 4m 59s
Irrationality of the square root of 2 agda-unimath CI #8226: Pull request #1211 synchronize by EgbertRijke
October 31, 2024 21:23 2m 15s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 31, 2024 21:23 2m 15s
Strict inequality in standard finite types agda-unimath CI #8225: Pull request #1219 synchronize by FernandoChu
October 31, 2024 20:48 7m 30s FernandoChu:master
FernandoChu:master
October 31, 2024 20:48 7m 30s
Strict inequality in standard finite types agda-unimath CI #8224: Pull request #1219 opened by FernandoChu
October 31, 2024 20:20 19m 39s FernandoChu:master
FernandoChu:master
October 31, 2024 20:20 19m 39s
Adding an acknowledgement agda-unimath CI #8223: Pull request #1218 synchronize by EgbertRijke
October 31, 2024 14:47 5m 18s EgbertRijke:acknowledgements-muri
EgbertRijke:acknowledgements-muri
October 31, 2024 14:47 5m 18s
Adding an acknowledgement agda-unimath CI #8222: Pull request #1218 opened by EgbertRijke
October 30, 2024 23:11 7m 32s EgbertRijke:acknowledgements-muri
EgbertRijke:acknowledgements-muri
October 30, 2024 23:11 7m 32s
Irrationality of the square root of 2 agda-unimath CI #8221: Pull request #1211 synchronize by EgbertRijke
October 30, 2024 16:38 9m 16s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 30, 2024 16:38 9m 16s
Irrationality of the square root of 2 agda-unimath CI #8220: Pull request #1211 synchronize by EgbertRijke
October 30, 2024 00:53 21m 9s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 30, 2024 00:53 21m 9s
Irrationality of the square root of 2 agda-unimath CI #8219: Pull request #1211 synchronize by EgbertRijke
October 29, 2024 22:29 5m 47s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 29, 2024 22:29 5m 47s
Irrationality of the square root of 2 agda-unimath CI #8218: Pull request #1211 synchronize by EgbertRijke
October 29, 2024 21:26 5m 35s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
October 29, 2024 21:26 5m 35s
chore: some fixes to links Clean up caches generated by pull requests #508: Pull request #1217 closed by fredrik-bakke
October 29, 2024 17:00 18s fredrik-bakke:edit
fredrik-bakke:edit
October 29, 2024 17:00 18s
chore: some fixes to links (#1217) agda-unimath CI #8217: Commit 7cfae63 pushed by fredrik-bakke
October 29, 2024 17:00 24m 18s master
master
October 29, 2024 17:00 24m 18s
chore: some fixes to links (#1217) Profile Library Typechecking #132: Commit 7cfae63 pushed by fredrik-bakke
October 29, 2024 17:00 11m 54s master
master
October 29, 2024 17:00 11m 54s
chore: some fixes to links (#1217) Build and deploy library website #591: Commit 7cfae63 pushed by fredrik-bakke
October 29, 2024 17:00 16m 33s master
master
October 29, 2024 17:00 16m 33s
chore: some fixes to links agda-unimath CI #8216: Pull request #1217 synchronize by fredrik-bakke
October 29, 2024 16:34 25m 48s fredrik-bakke:edit
fredrik-bakke:edit
October 29, 2024 16:34 25m 48s