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

Incidence algebras agda-unimath CI #8261: Pull request #1221 synchronize by djspacewhale
November 14, 2024 15:32 7m 44s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 14, 2024 15:32 7m 44s
Incidence algebras agda-unimath CI #8260: Pull request #1221 synchronize by djspacewhale
November 14, 2024 06:07 7m 52s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 14, 2024 06:07 7m 52s
Incidence algebras agda-unimath CI #8259: Pull request #1221 synchronize by djspacewhale
November 14, 2024 04:38 5m 25s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 14, 2024 04:38 5m 25s
Incidence algebras agda-unimath CI #8258: Pull request #1221 opened by djspacewhale
November 13, 2024 19:52 27m 10s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 13, 2024 19:52 27m 10s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8257: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 22:00 8m 6s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 22:00 8m 6s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8256: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 20:42 7m 54s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 20:42 7m 54s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8255: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 20:08 7m 43s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 20:08 7m 43s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8254: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 20:03 4m 55s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 20:03 4m 55s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8253: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 19:29 7m 45s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 19:29 7m 45s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8252: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 17:08 19m 43s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 17:08 19m 43s
Some results about path-cosplit maps (#1167) agda-unimath CI #8251: Commit 4fd43e9 pushed by fredrik-bakke
November 5, 2024 16:53 25m 29s master
master
November 5, 2024 16:53 25m 29s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8250: Pull request #1196 synchronize by EgbertRijke
November 5, 2024 16:45 22m 18s EgbertRijke:globular
EgbertRijke:globular
November 5, 2024 16:45 22m 18s
Irrationality of the square root of 2 agda-unimath CI #8249: Pull request #1211 synchronize by EgbertRijke
November 5, 2024 16:40 5m 39s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
November 5, 2024 16:40 5m 39s
Some results about path-cosplit maps agda-unimath CI #8248: Pull request #1167 synchronize by fredrik-bakke
November 5, 2024 16:29 23m 33s fredrik-bakke:path-cosplit-maps-2
fredrik-bakke:path-cosplit-maps-2
November 5, 2024 16:29 23m 33s
Some results about path-cosplit maps agda-unimath CI #8247: Pull request #1167 synchronize by fredrik-bakke
November 5, 2024 16:27 3m 5s fredrik-bakke:path-cosplit-maps-2
fredrik-bakke:path-cosplit-maps-2
November 5, 2024 16:27 3m 5s
Some results about path-cosplit maps agda-unimath CI #8246: Pull request #1167 synchronize by fredrik-bakke
November 5, 2024 16:24 3m 26s fredrik-bakke:path-cosplit-maps-2
fredrik-bakke:path-cosplit-maps-2
November 5, 2024 16:24 3m 26s
Continuation modalities and Lawvere–Tierney topologies (#1157) agda-unimath CI #8245: Commit 3ca79e6 pushed by EgbertRijke
November 5, 2024 02:03 20m 7s master
master
November 5, 2024 02:03 20m 7s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8244: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 22:23 7m 39s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 22:23 7m 39s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8243: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 21:52 7m 33s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 21:52 7m 33s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8242: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 21:27 19m 16s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 21:27 19m 16s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8241: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 21:27 15s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 21:27 15s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8240: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 21:27 8s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 21:27 8s
Continuation modalities and Lawvere–Tierney topologies agda-unimath CI #8239: Pull request #1157 synchronize by fredrik-bakke
November 4, 2024 21:26 1m 0s fredrik-bakke:continuation-modalities
fredrik-bakke:continuation-modalities
November 4, 2024 21:26 1m 0s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8238: Pull request #1206 synchronize by fredrik-bakke
November 4, 2024 16:33 8m 38s fredrik-bakke:csbe
fredrik-bakke:csbe
November 4, 2024 16:33 8m 38s
Strict inequality in standard finite types (#1219) agda-unimath CI #8237: Commit 4514edb pushed by EgbertRijke
November 4, 2024 15:23 19m 58s master
master
November 4, 2024 15:23 19m 58s