Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8286: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 21:22 7m 27s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 21:22 7m 27s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8285: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 21:09 8m 12s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 21:09 8m 12s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8284: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 21:08 1m 47s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 21:08 1m 47s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8283: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 19:46 7m 34s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 19:46 7m 34s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8282: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 19:23 7m 36s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 19:23 7m 36s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8281: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 17:13 20m 42s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 17:13 20m 42s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8280: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 15:29 5m 22s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 15:29 5m 22s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8279: Pull request #1222 synchronize by EgbertRijke
November 15, 2024 15:26 8m 27s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 15, 2024 15:26 8m 27s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8278: Pull request #1222 synchronize by EgbertRijke
November 15, 2024 13:44 27m 27s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 15, 2024 13:44 27m 27s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8277: Pull request #1222 synchronize by EgbertRijke
November 15, 2024 13:31 7m 36s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 15, 2024 13:31 7m 36s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8276: Pull request #1222 ready_for_review by EgbertRijke
November 15, 2024 13:18 1m 52s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 15, 2024 13:18 1m 52s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8275: Pull request #1222 synchronize by EgbertRijke
November 15, 2024 13:18 59s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 15, 2024 13:18 59s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8274: Pull request #1196 synchronize by EgbertRijke
November 15, 2024 02:31 7m 53s EgbertRijke:globular
EgbertRijke:globular
November 15, 2024 02:31 7m 53s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8273: Pull request #1222 synchronize by EgbertRijke
November 14, 2024 19:54 7m 26s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 14, 2024 19:54 7m 26s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8272: Pull request #1222 synchronize by EgbertRijke
November 14, 2024 19:41 7m 9s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 14, 2024 19:41 7m 9s
Correcting an incorrect definition of discrete relations and discrete graphs agda-unimath CI #8271: Pull request #1222 opened by EgbertRijke
November 14, 2024 19:31 7m 27s EgbertRijke:discrete-graphs
EgbertRijke:discrete-graphs
November 14, 2024 19:31 7m 27s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8270: Pull request #1196 synchronize by EgbertRijke
November 14, 2024 18:12 7m 50s EgbertRijke:globular
EgbertRijke:globular
November 14, 2024 18:12 7m 50s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8269: Pull request #1196 synchronize by EgbertRijke
November 14, 2024 17:04 7m 52s EgbertRijke:globular
EgbertRijke:globular
November 14, 2024 17:04 7m 52s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8268: Pull request #1196 synchronize by EgbertRijke
November 14, 2024 16:42 7m 46s EgbertRijke:globular
EgbertRijke:globular
November 14, 2024 16:42 7m 46s
Incidence algebras Clean up caches generated by pull requests #513: Pull request #1221 closed by EgbertRijke
November 14, 2024 16:16 23s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 14, 2024 16:16 23s
Incidence algebras (#1221) Profile Library Typechecking #137: Commit f5702e9 pushed by EgbertRijke
November 14, 2024 16:16 12m 8s master
master
November 14, 2024 16:16 12m 8s
Incidence algebras (#1221) agda-unimath CI #8267: Commit f5702e9 pushed by EgbertRijke
November 14, 2024 16:16 31m 52s master
master
November 14, 2024 16:16 31m 52s
Incidence algebras (#1221) Build and deploy library website #596: Commit f5702e9 pushed by EgbertRijke
November 14, 2024 16:16 30m 25s master
master
November 14, 2024 16:16 30m 25s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8266: Pull request #1196 synchronize by EgbertRijke
November 14, 2024 16:09 32m 59s EgbertRijke:globular
EgbertRijke:globular
November 14, 2024 16:09 32m 59s
Incidence algebras agda-unimath CI #8265: Pull request #1221 synchronize by djspacewhale
November 14, 2024 16:00 7m 36s djspacewhale:incidence-algebras
djspacewhale:incidence-algebras
November 14, 2024 16:00 7m 36s