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.
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CI Computability CI Computability #26: Scheduled
15m 18s master
master
15m 18s
CI Computability CI Computability #25: Scheduled
18m 23s master
master
18m 23s
CI Computability CI Computability #24: Scheduled
14m 52s master
master
14m 52s
CI Computability CI Computability #23: Scheduled
15m 37s master
master
15m 37s
CI Computability CI Computability #22: Scheduled
10m 42s master
master
10m 42s
CI Computability CI Computability #21: Scheduled
11m 1s master
master
11m 1s
CI Computability CI Computability #20: Scheduled
8m 22s master
master
8m 22s
CI Computability CI Computability #19: Scheduled
8m 32s master
master
8m 32s
CI Computability CI Computability #18: Scheduled
8m 16s master
master
8m 16s
CI Computability CI Computability #17: Scheduled
8m 36s master
master
8m 36s
CI Computability CI Computability #16: Scheduled
14m 41s master
master
14m 41s
Merge pull request #3 from UniMath/enumerability CI Computability #15: Commit 007de93 pushed by klinashka
8m 22s master
master
8m 22s
Enumerability CI Computability #14: Pull request #3 synchronize by klinashka
8m 22s enumerability
enumerability
8m 22s
Enumerability CI Computability #13: Pull request #3 opened by klinashka
8m 4s enumerability
enumerability
8m 4s
Merge pull request #2 from UniMath/lists CI Computability #12: Commit 95c181f pushed by klinashka
8m 27s master
master
8m 27s
Lists CI Computability #11: Pull request #2 synchronize by klinashka
8m 34s lists
lists
8m 34s