Skip to content

Actions: CalosciMatteo/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #30: Scheduled
In progress master
master
In progress
CI Build UniMath CI Build UniMath #29: Scheduled
55m 37s master
master
55m 37s
Scheduled build Scheduled build #12: Scheduled
6m 0s master
master
6m 0s
CI Build UniMath CI Build UniMath #28: Scheduled
56m 13s master
master
56m 13s
CI Build UniMath CI Build UniMath #27: Scheduled
56m 16s master
master
56m 16s
Scheduled build Scheduled build #11: Scheduled
6m 8s master
master
6m 8s
CI Build UniMath CI Build UniMath #26: Scheduled
55m 47s master
master
55m 47s
CI Build UniMath CI Build UniMath #25: Scheduled
54m 48s master
master
54m 48s
Scheduled build Scheduled build #10: Scheduled
5m 48s master
master
5m 48s
CI Build UniMath CI Build UniMath #24: Scheduled
4m 27s master
master
4m 27s
CI Build UniMath CI Build UniMath #23: Scheduled
56m 52s master
master
56m 52s
Scheduled build Scheduled build #9: Scheduled
5m 50s master
master
5m 50s
CI Build UniMath CI Build UniMath #22: Scheduled
55m 14s master
master
55m 14s
CI Build UniMath CI Build UniMath #21: Scheduled
55m 27s master
master
55m 27s
Scheduled build Scheduled build #8: Scheduled
5m 52s master
master
5m 52s
CI Build UniMath CI Build UniMath #20: Scheduled
57m 7s master
master
57m 7s
CI Build UniMath CI Build UniMath #19: Scheduled
55m 13s master
master
55m 13s
CI Build UniMath CI Build UniMath #18: Scheduled
55m 24s master
master
55m 24s
Scheduled build Scheduled build #7: Scheduled
6m 6s master
master
6m 6s
Revert "biequiv for universe types" CI Build UniMath #17: Commit 2883378 pushed by CalosciMatteo
58m 23s master
master
58m 23s