Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unbounded π-finite types agda-unimath CI #8367: Pull request #1168 synchronize by fredrik-bakke
December 4, 2024 13:34 20m 1s fredrik-bakke:unbounded-pi-finiteness
fredrik-bakke:unbounded-pi-finiteness
December 4, 2024 13:34 20m 1s
Reflective global subuniverses agda-unimath CI #8366: Pull request #1228 synchronize by fredrik-bakke
December 4, 2024 13:34 26m 17s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
December 4, 2024 13:34 26m 17s
Logic agda-unimath CI #8365: Pull request #1226 synchronize by fredrik-bakke
December 4, 2024 13:32 24m 6s fredrik-bakke:logic
fredrik-bakke:logic
December 4, 2024 13:32 24m 6s
Iterating families of maps over a map agda-unimath CI #8364: Pull request #1195 synchronize by fredrik-bakke
December 4, 2024 13:31 12m 37s fredrik-bakke:iteration-dependent-functions
fredrik-bakke:iteration-dependent-functions
December 4, 2024 13:31 12m 37s
Wild ω-semicategories agda-unimath CI #8363: Pull request #1229 synchronize by fredrik-bakke
December 3, 2024 22:38 8m 19s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
December 3, 2024 22:38 8m 19s
Wild ω-semicategories agda-unimath CI #8362: Pull request #1229 synchronize by fredrik-bakke
December 3, 2024 21:57 8m 29s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
December 3, 2024 21:57 8m 29s
Wild ω-semicategories agda-unimath CI #8361: Pull request #1229 synchronize by fredrik-bakke
December 3, 2024 21:54 2m 55s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
December 3, 2024 21:54 2m 55s
Hofmann-Streicher universes for graphs and globular types Clean up caches generated by pull requests #520: Pull request #1196 closed by EgbertRijke
December 3, 2024 21:47 13s EgbertRijke:globular
EgbertRijke:globular
December 3, 2024 21:47 13s
Hofmann-Streicher universes for graphs and globular types (#1196) Build and deploy library website #602: Commit 3ae1f7c pushed by EgbertRijke
December 3, 2024 21:47 30m 42s master
master
December 3, 2024 21:47 30m 42s
Hofmann-Streicher universes for graphs and globular types (#1196) Profile Library Typechecking #143: Commit 3ae1f7c pushed by EgbertRijke
December 3, 2024 21:47 12m 15s master
master
December 3, 2024 21:47 12m 15s
Hofmann-Streicher universes for graphs and globular types (#1196) agda-unimath CI #8360: Commit 3ae1f7c pushed by EgbertRijke
December 3, 2024 21:47 23m 33s master
master
December 3, 2024 21:47 23m 33s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8359: Pull request #1196 synchronize by EgbertRijke
December 3, 2024 21:25 21m 26s EgbertRijke:globular
EgbertRijke:globular
December 3, 2024 21:25 21m 26s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8358: Pull request #1196 synchronize by EgbertRijke
December 3, 2024 21:14 11m 22s EgbertRijke:globular
EgbertRijke:globular
December 3, 2024 21:14 11m 22s
Reflective global subuniverses agda-unimath CI #8357: Pull request #1228 synchronize by fredrik-bakke
December 3, 2024 14:23 7m 44s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
December 3, 2024 14:23 7m 44s
Reflective global subuniverses agda-unimath CI #8356: Pull request #1228 synchronize by fredrik-bakke
December 3, 2024 14:11 7m 45s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
December 3, 2024 14:11 7m 45s
Logic agda-unimath CI #8355: Pull request #1226 synchronize by fredrik-bakke
December 3, 2024 14:10 20m 32s fredrik-bakke:logic
fredrik-bakke:logic
December 3, 2024 14:10 20m 32s
Wild ω-semicategories agda-unimath CI #8354: Pull request #1229 synchronize by fredrik-bakke
December 1, 2024 22:05 1m 2s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
December 1, 2024 22:05 1m 2s
Wild ω-semicategories agda-unimath CI #8353: Pull request #1229 opened by fredrik-bakke
December 1, 2024 11:35 22m 58s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
December 1, 2024 11:35 22m 58s
Reflective global subuniverses agda-unimath CI #8352: Pull request #1228 synchronize by fredrik-bakke
November 28, 2024 22:28 7m 25s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
November 28, 2024 22:28 7m 25s
Logic agda-unimath CI #8351: Pull request #1226 synchronize by fredrik-bakke
November 28, 2024 22:04 9m 7s fredrik-bakke:logic
fredrik-bakke:logic
November 28, 2024 22:04 9m 7s
Reflective global subuniverses agda-unimath CI #8350: Pull request #1228 synchronize by fredrik-bakke
November 28, 2024 22:03 21m 5s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
November 28, 2024 22:03 21m 5s
Reflective global subuniverses agda-unimath CI #8349: Pull request #1228 synchronize by fredrik-bakke
November 28, 2024 21:46 16m 31s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
November 28, 2024 21:46 16m 31s
Reflective global subuniverses agda-unimath CI #8348: Pull request #1228 synchronize by fredrik-bakke
November 28, 2024 21:31 10m 19s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
November 28, 2024 21:31 10m 19s
Reflective global subuniverses agda-unimath CI #8347: Pull request #1228 opened by fredrik-bakke
November 28, 2024 21:10 10m 14s fredrik-bakke:global-localizations
fredrik-bakke:global-localizations
November 28, 2024 21:10 10m 14s
Logic agda-unimath CI #8346: Pull request #1226 synchronize by fredrik-bakke
November 21, 2024 15:18 20m 49s fredrik-bakke:logic
fredrik-bakke:logic
November 21, 2024 15:18 20m 49s