Skip to content

Actions: AlexanderPortland/kani

Actions

Nightly: Slow tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: Slow tests
Nightly: Slow tests #153: Scheduled
1h 18m 18s main
Nightly: Slow tests
Nightly: Slow tests #152: Scheduled
55m 46s main
Nightly: Slow tests
Nightly: Slow tests #151: Scheduled
1h 28m 53s main
Nightly: Slow tests
Nightly: Slow tests #150: Scheduled
1h 11m 11s main
Nightly: Slow tests
Nightly: Slow tests #149: Scheduled
1h 13m 19s main
Nightly: Slow tests
Nightly: Slow tests #148: Scheduled
1h 20m 48s main
Nightly: Slow tests
Nightly: Slow tests #147: Scheduled
1h 21m 15s main
Nightly: Slow tests
Nightly: Slow tests #146: Scheduled
1h 22m 22s main
Nightly: Slow tests
Nightly: Slow tests #145: Scheduled
56m 23s main
Nightly: Slow tests
Nightly: Slow tests #144: Scheduled
1h 6m 43s main
Nightly: Slow tests
Nightly: Slow tests #143: Scheduled
1h 14m 28s main
Nightly: Slow tests
Nightly: Slow tests #142: Scheduled
1h 22m 40s main
Nightly: Slow tests
Nightly: Slow tests #141: Scheduled
1h 1m 37s main
Nightly: Slow tests
Nightly: Slow tests #140: Scheduled
59m 0s main
Nightly: Slow tests
Nightly: Slow tests #139: Scheduled
1h 30m 35s main
Nightly: Slow tests
Nightly: Slow tests #138: Scheduled
57m 17s main
Nightly: Slow tests
Nightly: Slow tests #137: Scheduled
1h 17m 31s main
Nightly: Slow tests
Nightly: Slow tests #136: Scheduled
1h 13m 0s main
Nightly: Slow tests
Nightly: Slow tests #135: Scheduled
1h 6m 4s main
Nightly: Slow tests
Nightly: Slow tests #134: Scheduled
1h 0m 5s main
Nightly: Slow tests
Nightly: Slow tests #133: Scheduled
1h 7m 39s main
Nightly: Slow tests
Nightly: Slow tests #132: Scheduled
1h 1m 40s main
Nightly: Slow tests
Nightly: Slow tests #131: Scheduled
1h 8m 46s main
Nightly: Slow tests
Nightly: Slow tests #130: Scheduled
1h 2m 57s main
Nightly: Slow tests
Nightly: Slow tests #129: Scheduled
1h 3m 40s main