Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,134 workflow runs
5,134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unbounded π-finite types agda-unimath CI #8416: Pull request #1168 synchronize by fredrik-bakke
January 6, 2025 13:05 16m 24s fredrik-bakke:unbounded-pi-finiteness
fredrik-bakke:unbounded-pi-finiteness
January 6, 2025 13:05 16m 24s
Unbounded π-finite types agda-unimath CI #8415: Pull request #1168 synchronize by fredrik-bakke
January 6, 2025 13:04 29s fredrik-bakke:unbounded-pi-finiteness
fredrik-bakke:unbounded-pi-finiteness
January 6, 2025 13:04 29s
Iterating families of maps over a map Clean up caches generated by pull requests #523: Pull request #1195 closed by EgbertRijke
January 6, 2025 00:13 14s fredrik-bakke:iteration-dependent-functions
fredrik-bakke:iteration-dependent-functions
January 6, 2025 00:13 14s
Iterating families of maps over a map (#1195) Build and deploy library website #605: Commit cfd565d pushed by EgbertRijke
January 6, 2025 00:13 10m 54s master
master
January 6, 2025 00:13 10m 54s
Iterating families of maps over a map (#1195) agda-unimath CI #8414: Commit cfd565d pushed by EgbertRijke
January 6, 2025 00:13 9m 58s master
master
January 6, 2025 00:13 9m 58s
Iterating families of maps over a map (#1195) Profile Library Typechecking #146: Commit cfd565d pushed by EgbertRijke
January 6, 2025 00:13 12m 17s master
master
January 6, 2025 00:13 12m 17s
Iterating families of maps over a map agda-unimath CI #8413: Pull request #1195 synchronize by EgbertRijke
January 6, 2025 00:03 10m 8s fredrik-bakke:iteration-dependent-functions
fredrik-bakke:iteration-dependent-functions
January 6, 2025 00:03 10m 8s
Refactor elementary number theory agda-unimath CI #8412: Pull request #1211 synchronize by EgbertRijke
January 5, 2025 19:15 3m 56s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 5, 2025 19:15 3m 56s
Refactor elementary number theory agda-unimath CI #8411: Pull request #1211 synchronize by EgbertRijke
January 5, 2025 00:53 4m 9s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 5, 2025 00:53 4m 9s
Refactor elementary number theory agda-unimath CI #8410: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 23:34 3m 54s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 23:34 3m 54s
Refactor elementary number theory agda-unimath CI #8409: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 22:55 3m 56s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 22:55 3m 56s
Coinductive definition of the conatural numbers Clean up caches generated by pull requests #522: Pull request #1232 closed by EgbertRijke
January 4, 2025 22:54 15s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 22:54 15s
Coinductive definition of the conatural numbers (#1232) Profile Library Typechecking #145: Commit 4545c3a pushed by EgbertRijke
January 4, 2025 22:54 12m 1s master
master
January 4, 2025 22:54 12m 1s
Coinductive definition of the conatural numbers (#1232) agda-unimath CI #8408: Commit 4545c3a pushed by EgbertRijke
January 4, 2025 22:54 16m 41s master
master
January 4, 2025 22:54 16m 41s
Coinductive definition of the conatural numbers (#1232) Build and deploy library website #604: Commit 4545c3a pushed by EgbertRijke
January 4, 2025 22:54 15m 11s master
master
January 4, 2025 22:54 15m 11s
Rename wild higher categories agda-unimath CI #8407: Pull request #1233 synchronize by fredrik-bakke
January 4, 2025 21:25 7m 32s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 4, 2025 21:25 7m 32s
Rename wild higher categories agda-unimath CI #8406: Pull request #1233 synchronize by fredrik-bakke
January 4, 2025 21:23 1m 2s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 4, 2025 21:23 1m 2s
Coinductive definition of the conatural numbers agda-unimath CI #8405: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 20:46 7m 47s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 20:46 7m 47s
Refactor elementary number theory agda-unimath CI #8404: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 20:46 3m 52s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 20:46 3m 52s
Coinductive definition of the conatural numbers agda-unimath CI #8403: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 20:46 12s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 20:46 12s
Rename wild higher categories agda-unimath CI #8402: Pull request #1233 synchronize by fredrik-bakke
January 4, 2025 20:44 1m 11s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 4, 2025 20:44 1m 11s
Rename wild higher categories agda-unimath CI #8401: Pull request #1233 opened by fredrik-bakke
January 4, 2025 20:43 48s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 4, 2025 20:43 48s
Refactor elementary number theory agda-unimath CI #8400: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 19:49 4m 4s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 19:49 4m 4s
Coinductive definition of the conatural numbers agda-unimath CI #8399: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 19:18 19m 17s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 19:18 19m 17s
Coinductive definition of the conatural numbers agda-unimath CI #8398: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 19:09 9m 0s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 19:09 9m 0s