Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,416 workflow runs
4,416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wild ω-semicategories agda-unimath CI #8448: Pull request #1229 synchronize by fredrik-bakke
January 8, 2025 10:50 1m 12s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
January 8, 2025 10:50 1m 12s
Wild ω-semicategories agda-unimath CI #8447: Pull request #1229 synchronize by fredrik-bakke
January 8, 2025 10:50 14s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
January 8, 2025 10:50 14s
Rename wild higher categories agda-unimath CI #8446: Pull request #1233 synchronize by fredrik-bakke
January 8, 2025 10:50 22m 49s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 8, 2025 10:50 22m 49s
Refactor elementary number theory agda-unimath CI #8445: Pull request #1211 synchronize by EgbertRijke
January 7, 2025 20:58 4m 1s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 7, 2025 20:58 4m 1s
Logic (#1226) Build and deploy library website #608: Commit 13af1cf pushed by EgbertRijke
January 7, 2025 19:37 18m 19s master
master
January 7, 2025 19:37 18m 19s
Logic Clean up caches generated by pull requests #526: Pull request #1226 closed by EgbertRijke
January 7, 2025 19:37 22s fredrik-bakke:logic
fredrik-bakke:logic
January 7, 2025 19:37 22s
Logic (#1226) Profile Library Typechecking #149: Commit 13af1cf pushed by EgbertRijke
January 7, 2025 19:37 12m 43s master
master
January 7, 2025 19:37 12m 43s
Logic (#1226) agda-unimath CI #8444: Commit 13af1cf pushed by EgbertRijke
January 7, 2025 19:37 24m 54s master
master
January 7, 2025 19:37 24m 54s
Logic agda-unimath CI #8443: Pull request #1226 synchronize by fredrik-bakke
January 7, 2025 15:59 10m 41s fredrik-bakke:logic
fredrik-bakke:logic
January 7, 2025 15:59 10m 41s
Rename wild higher categories agda-unimath CI #8442: Pull request #1233 ready_for_review by fredrik-bakke
January 7, 2025 15:55 18m 30s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 7, 2025 15:55 18m 30s
Rename wild higher categories agda-unimath CI #8441: Pull request #1233 synchronize by fredrik-bakke
January 7, 2025 15:55 19s fredrik-bakke:rename-ω-categories
fredrik-bakke:rename-ω-categories
January 7, 2025 15:55 19s
Logic agda-unimath CI #8440: Pull request #1226 synchronize by fredrik-bakke
January 7, 2025 15:27 19m 59s fredrik-bakke:logic
fredrik-bakke:logic
January 7, 2025 15:27 19m 59s
Logic agda-unimath CI #8439: Pull request #1226 synchronize by fredrik-bakke
January 7, 2025 14:33 5m 29s fredrik-bakke:logic
fredrik-bakke:logic
January 7, 2025 14:33 5m 29s
Logic agda-unimath CI #8438: Pull request #1226 synchronize by fredrik-bakke
January 7, 2025 13:22 19m 51s fredrik-bakke:logic
fredrik-bakke:logic
January 7, 2025 13:22 19m 51s
Refactor elementary number theory agda-unimath CI #8437: Pull request #1211 synchronize by EgbertRijke
January 7, 2025 04:36 4m 12s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 7, 2025 04:36 4m 12s
Refactor elementary number theory agda-unimath CI #8436: Pull request #1211 synchronize by EgbertRijke
January 7, 2025 02:36 4m 6s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 7, 2025 02:36 4m 6s
Refactor elementary number theory agda-unimath CI #8435: Pull request #1211 synchronize by EgbertRijke
January 6, 2025 20:37 4m 29s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 6, 2025 20:37 4m 29s
Refactor elementary number theory agda-unimath CI #8434: Pull request #1211 synchronize by EgbertRijke
January 6, 2025 20:36 1m 22s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 6, 2025 20:36 1m 22s
Fix terminology for π-finite types Clean up caches generated by pull requests #525: Pull request #1234 closed by EgbertRijke
January 6, 2025 20:33 14s fredrik-bakke:rename-pi-finite
fredrik-bakke:rename-pi-finite
January 6, 2025 20:33 14s
Fix terminology for π-finite types (#1234) Build and deploy library website #607: Commit 871a029 pushed by EgbertRijke
January 6, 2025 20:33 15m 21s master
master
January 6, 2025 20:33 15m 21s
Fix terminology for π-finite types (#1234) Profile Library Typechecking #148: Commit 871a029 pushed by EgbertRijke
January 6, 2025 20:33 12m 31s master
master
January 6, 2025 20:33 12m 31s
Fix terminology for π-finite types (#1234) agda-unimath CI #8433: Commit 871a029 pushed by EgbertRijke
January 6, 2025 20:33 23m 44s master
master
January 6, 2025 20:33 23m 44s
Fix terminology for π-finite types agda-unimath CI #8432: Pull request #1234 synchronize by fredrik-bakke
January 6, 2025 19:20 8m 5s fredrik-bakke:rename-pi-finite
fredrik-bakke:rename-pi-finite
January 6, 2025 19:20 8m 5s
Fix terminology for π-finite types agda-unimath CI #8431: Pull request #1234 ready_for_review by fredrik-bakke
January 6, 2025 19:20 55s fredrik-bakke:rename-pi-finite
fredrik-bakke:rename-pi-finite
January 6, 2025 19:20 55s
Fix terminology for π-finite types agda-unimath CI #8430: Pull request #1234 synchronize by fredrik-bakke
January 6, 2025 19:19 1m 8s fredrik-bakke:rename-pi-finite
fredrik-bakke:rename-pi-finite
January 6, 2025 19:19 1m 8s