Skip to content

Actions: Bigstep22/UniMath

Actions

CI Build UniMath

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-unimath.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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