Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,194 workflow runs
6,194 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 #8145: Pull request #1196 synchronize by EgbertRijke
October 21, 2024 14:00 1m 5s EgbertRijke:globular
EgbertRijke:globular
October 21, 2024 14:00 1m 5s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8144: Pull request #1196 synchronize by EgbertRijke
October 21, 2024 02:13 7m 48s EgbertRijke:globular
EgbertRijke:globular
October 21, 2024 02:13 7m 48s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8143: Pull request #1196 synchronize by EgbertRijke
October 21, 2024 02:09 4m 15s EgbertRijke:globular
EgbertRijke:globular
October 21, 2024 02:09 4m 15s
Hofmann-Streicher universes for graphs and globular types agda-unimath CI #8142: Pull request #1196 synchronize by EgbertRijke
October 21, 2024 01:40 16m 30s EgbertRijke:globular
EgbertRijke:globular
October 21, 2024 01:40 16m 30s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8141: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 22:59 9m 14s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 22:59 9m 14s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8140: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 22:29 18m 37s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 22:29 18m 37s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8139: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 22:26 4m 1s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 22:26 4m 1s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8138: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 22:15 8m 36s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 22:15 8m 36s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8137: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 22:04 8m 51s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 22:04 8m 51s
WIP: A constructive Cantor–Schröder–Bernstein theorem? agda-unimath CI #8136: Pull request #1206 synchronize by fredrik-bakke
October 20, 2024 21:59 5m 28s fredrik-bakke:csbe
fredrik-bakke:csbe
October 20, 2024 21:59 5m 28s
Order theory from @spcfox's modal logic Clean up caches generated by pull requests #497: Pull request #1205 closed by fredrik-bakke
October 19, 2024 23:34 17s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 23:34 17s
Order theory from @spcfox's modal logic (#1205) Profile Library Typechecking #121: Commit 7403e40 pushed by fredrik-bakke
October 19, 2024 23:34 11m 45s master
master
October 19, 2024 23:34 11m 45s
Order theory from @spcfox's modal logic (#1205) Build and deploy library website #580: Commit 7403e40 pushed by fredrik-bakke
October 19, 2024 23:34 8m 19s master
master
October 19, 2024 23:34 8m 19s
Order theory from @spcfox's modal logic (#1205) agda-unimath CI #8135: Commit 7403e40 pushed by fredrik-bakke
October 19, 2024 23:34 9m 29s master
master
October 19, 2024 23:34 9m 29s
Order theory from @spcfox's modal logic agda-unimath CI #8134: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 22:42 7m 29s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 22:42 7m 29s
Order theory from @spcfox's modal logic agda-unimath CI #8133: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 22:18 7m 30s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 22:18 7m 30s
Order theory from @spcfox's modal logic agda-unimath CI #8132: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 22:13 5m 22s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 22:13 5m 22s
Order theory from @spcfox's modal logic agda-unimath CI #8131: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 22:09 3m 31s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 22:09 3m 31s
Order theory from @spcfox's modal logic agda-unimath CI #8130: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 22:08 1m 10s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 22:08 1m 10s
Order theory from @spcfox's modal logic agda-unimath CI #8129: Pull request #1205 ready_for_review by fredrik-bakke
October 19, 2024 21:56 5m 14s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:56 5m 14s
Order theory from @spcfox's modal logic agda-unimath CI #8128: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 21:52 4m 16s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:52 4m 16s
Order theory from @spcfox's modal logic agda-unimath CI #8127: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 21:50 1m 53s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:50 1m 53s
Order theory from @spcfox's modal logic agda-unimath CI #8126: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 21:45 5m 1s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:45 5m 1s
Order theory from @spcfox's modal logic agda-unimath CI #8125: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 21:44 1m 25s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:44 1m 25s
Order theory from @spcfox's modal logic agda-unimath CI #8124: Pull request #1205 synchronize by fredrik-bakke
October 19, 2024 21:40 4m 46s fredrik-bakke:spcfox/order-theory
fredrik-bakke:spcfox/order-theory
October 19, 2024 21:40 4m 46s