Skip to content

Actions: querolita/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

o1vm CI o1vm CI #9: Scheduled
1h 7m 23s master
master
1h 7m 23s
CI CI #9: completed by querolita
17s
17s
Nightly tests with the code coverage Nightly tests with the code coverage #9: Scheduled
Queued master
master
Queued
o1vm CI o1vm CI #8: Scheduled
1h 7m 20s master
master
1h 7m 20s
Nightly tests with the code coverage Nightly tests with the code coverage #8: Scheduled
1d 0h 0m 4s master
master
1d 0h 0m 4s
CI CI #8: completed by querolita
19s
19s
o1vm CI o1vm CI #7: Scheduled
1h 17m 57s master
master
1h 17m 57s
CI CI #7: completed by querolita
17s
17s
Nightly tests with the code coverage Nightly tests with the code coverage #7: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
o1vm CI o1vm CI #6: Scheduled
1h 7m 8s master
master
1h 7m 8s
Nightly tests with the code coverage Nightly tests with the code coverage #6: Scheduled
1d 0h 0m 19s master
master
1d 0h 0m 19s
CI CI #6: completed by querolita
21s
21s
o1vm CI o1vm CI #5: Scheduled
1h 7m 39s master
master
1h 7m 39s
CI CI #5: completed by querolita
18s
18s
Nightly tests with the code coverage Nightly tests with the code coverage #5: Scheduled
1d 0h 0m 18s master
master
1d 0h 0m 18s
o1vm CI o1vm CI #4: Scheduled
1h 6m 59s master
master
1h 6m 59s
CI CI #4: completed by querolita
18s
18s
Nightly tests with the code coverage Nightly tests with the code coverage #4: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
o1vm CI o1vm CI #3: Scheduled
1h 16m 16s master
master
1h 16m 16s
Nightly tests with the code coverage Nightly tests with the code coverage #3: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
CI CI #3: completed by querolita
17s
17s
o1vm CI o1vm CI #2: Scheduled
1h 6m 46s master
master
1h 6m 46s
CI CI #2: completed by querolita
13s
13s
Nightly tests with the code coverage Nightly tests with the code coverage #2: Scheduled
1d 0h 0m 1s master
master
1d 0h 0m 1s
o1vm CI o1vm CI #1: Scheduled
1h 7m 19s master
master
1h 7m 19s