Skip to content

Actions: Bigstep22/UniMath

Actions

Scheduled build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scheduled.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.
3 workflow runs
3 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
Scheduled build Scheduled build #7: Scheduled
July 1, 2023 03:08 2h 21m 40s master
master
July 1, 2023 03:08 2h 21m 40s
Scheduled build Scheduled build #6: Scheduled
June 15, 2023 02:42 1h 54m 26s master
master
June 15, 2023 02:42 1h 54m 26s