Skip to content

Actions: querolita/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
o1vm CI o1vm CI #61: Scheduled
1h 11m 45s master
master
1h 11m 45s
Nightly tests with the code coverage Nightly tests with the code coverage #61: Scheduled
1d 0h 0m 2s master
master
1d 0h 0m 2s
o1vm CI o1vm CI #60: Scheduled
1h 7m 27s master
master
1h 7m 27s
Nightly tests with the code coverage Nightly tests with the code coverage #60: Scheduled
1d 0h 0m 2s master
master
1d 0h 0m 2s
CI CI #60: completed by querolita
19s
19s
o1vm CI o1vm CI #59: Scheduled
1h 7m 9s master
master
1h 7m 9s
CI CI #59: completed by querolita
19s
19s
Nightly tests with the code coverage Nightly tests with the code coverage #59: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
o1vm CI o1vm CI #58: Scheduled
1h 11m 50s master
master
1h 11m 50s
Nightly tests with the code coverage Nightly tests with the code coverage #58: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
CI CI #58: completed by querolita
17s
17s
o1vm CI o1vm CI #57: Scheduled
1h 7m 32s master
master
1h 7m 32s
CI CI #57: completed by querolita
18s
18s
Nightly tests with the code coverage Nightly tests with the code coverage #57: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
o1vm CI o1vm CI #56: Scheduled
1h 16m 10s master
master
1h 16m 10s
Nightly tests with the code coverage Nightly tests with the code coverage #56: Scheduled
1d 0h 0m 2s master
master
1d 0h 0m 2s
CI CI #56: completed by querolita
19s
19s
o1vm CI o1vm CI #55: Scheduled
1h 17m 20s master
master
1h 17m 20s
Nightly tests with the code coverage Nightly tests with the code coverage #55: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
CI CI #55: completed by querolita
17s
17s
o1vm CI o1vm CI #54: Scheduled
1h 6m 51s master
master
1h 6m 51s
CI CI #54: completed by querolita
16s
16s
Nightly tests with the code coverage Nightly tests with the code coverage #54: Scheduled
1d 0h 0m 2s master
master
1d 0h 0m 2s
o1vm CI o1vm CI #53: Scheduled
1h 7m 17s master
master
1h 7m 17s
CI CI #53: completed by querolita
17s
17s