Skip to content

Actions: benediktahrens/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #129: Scheduled
53m 39s master
master
53m 39s
CI Build UniMath CI Build UniMath #128: Scheduled
52m 35s master
master
52m 35s
CI Build UniMath CI Build UniMath #127: Scheduled
55m 46s master
master
55m 46s
CI Build UniMath CI Build UniMath #126: Scheduled
57m 25s master
master
57m 25s
CI Build UniMath CI Build UniMath #125: Scheduled
56m 35s master
master
56m 35s
CI Build UniMath CI Build UniMath #124: Scheduled
55m 43s master
master
55m 43s
CI Build UniMath CI Build UniMath #123: Scheduled
56m 37s master
master
56m 37s
CI Build UniMath CI Build UniMath #122: Scheduled
54m 52s master
master
54m 52s
CI Build UniMath CI Build UniMath #121: Scheduled
4m 26s master
master
4m 26s
CI Build UniMath CI Build UniMath #120: Scheduled
55m 39s master
master
55m 39s
CI Build UniMath CI Build UniMath #119: Scheduled
56m 23s master
master
56m 23s
CI Build UniMath CI Build UniMath #118: Scheduled
55m 16s master
master
55m 16s
CI Build UniMath CI Build UniMath #117: Scheduled
55m 22s master
master
55m 22s
CI Build UniMath CI Build UniMath #116: Scheduled
55m 58s master
master
55m 58s
CI Build UniMath CI Build UniMath #115: Scheduled
56m 8s master
master
56m 8s
CI Build UniMath CI Build UniMath #114: Scheduled
55m 17s master
master
55m 17s
CI Build UniMath CI Build UniMath #113: Scheduled
56m 42s master
master
56m 42s
CI Build UniMath CI Build UniMath #112: Scheduled
57m 5s master
master
57m 5s
CI Build UniMath CI Build UniMath #111: Scheduled
58m 1s master
master
58m 1s
CI Build UniMath CI Build UniMath #110: Scheduled
55m 28s master
master
55m 28s
CI Build UniMath CI Build UniMath #109: Scheduled
55m 18s master
master
55m 18s
CI Build UniMath CI Build UniMath #108: Scheduled
54m 31s master
master
54m 31s
CI Build UniMath CI Build UniMath #107: Scheduled
9m 14s master
master
9m 14s
Revert "biequiv for universe types" CI Build UniMath #106: Commit 2883378 pushed by benediktahrens
57m 5s master
master
57m 5s
Scheduled build Scheduled build #29: Scheduled
5m 46s master
master
5m 46s