Skip to content

Actions: UniMath/Computability

Actions

CI Computability

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.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.
9 workflow runs
9 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI Computability CI Computability #35: Scheduled
16m 51s master
master
16m 51s
CI Computability CI Computability #34: Scheduled
17m 34s master
master
17m 34s
CI Computability CI Computability #33: Scheduled
17m 38s master
master
17m 38s
CI Computability CI Computability #32: Scheduled
14m 43s master
master
14m 43s
CI Computability CI Computability #31: Scheduled
14m 42s master
master
14m 42s
CI Computability CI Computability #30: Scheduled
14m 54s master
master
14m 54s
CI Computability CI Computability #29: Scheduled
15m 1s master
master
15m 1s
CI Computability CI Computability #28: Scheduled
14m 36s master
master
14m 36s
CI Computability CI Computability #27: Scheduled
14m 35s master
master
14m 35s