Skip to content

Actions: Bigstep22/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled build Scheduled build #8: Scheduled
July 15, 2023 03:05 2h 29m 57s master
master
July 15, 2023 03:05 2h 29m 57s
CI Build UniMath CI Build UniMath #22: Scheduled
July 10, 2023 02:35 1h 39m 1s master
master
July 10, 2023 02:35 1h 39m 1s
CI Build UniMath CI Build UniMath #21: Scheduled
July 3, 2023 02:26 1h 42m 37s master
master
July 3, 2023 02:26 1h 42m 37s
Scheduled build Scheduled build #7: Scheduled
July 1, 2023 03:08 2h 21m 40s master
master
July 1, 2023 03:08 2h 21m 40s
CI Build UniMath CI Build UniMath #20: Scheduled
June 26, 2023 02:37 1h 31m 26s master
master
June 26, 2023 02:37 1h 31m 26s
CI Build UniMath CI Build UniMath #19: Scheduled
June 19, 2023 02:13 1h 44m 26s master
master
June 19, 2023 02:13 1h 44m 26s
Scheduled build Scheduled build #6: Scheduled
June 15, 2023 02:42 1h 54m 26s master
master
June 15, 2023 02:42 1h 54m 26s
CI Build UniMath CI Build UniMath #18: Scheduled
June 12, 2023 02:23 1h 34m 46s master
master
June 12, 2023 02:23 1h 34m 46s