Skip to content

Actions: AlexanderPortland/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
477 workflow runs
477 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
Test the Location context reset, and fix remaining doc typos Kani Format Check #415: Commit 46a6f35 pushed by feliperodri
2m 46s final-cache
final-cache
2m 46s
Test the Location context reset, and fix remaining doc typos Kani CI #239: Commit 46a6f35 pushed by feliperodri
56m 52s final-cache
final-cache
56m 52s
Merge remote-tracking branch 'upstream/main' into final-cache Kani CI #238: Commit 7b5844a pushed by feliperodri
58m 44s final-cache
final-cache
58m 44s
Merge remote-tracking branch 'upstream/main' into final-cache Kani Format Check #414: Commit 7b5844a pushed by feliperodri
2m 48s final-cache
final-cache
2m 48s
Add a cache-efficacy regression test Kani Format Check #413: Commit bdd0ce3 pushed by feliperodri
2m 41s final-cache
final-cache
2m 41s
Add a cache-efficacy regression test Kani CI #237: Commit bdd0ce3 pushed by feliperodri
58m 30s final-cache
final-cache
58m 30s
Skip harness ordering when there are no export workers Kani Format Check #412: Commit 2a999c9 pushed by feliperodri
2m 37s codegen-ordering
codegen-ordering
2m 37s
Skip harness ordering when there are no export workers Kani CI #236: Commit 2a999c9 pushed by feliperodri
48m 51s codegen-ordering
codegen-ordering
48m 51s
Merge remote-tracking branch 'upstream/main' into codegen-ordering Kani CI #235: Commit c871817 pushed by feliperodri
1h 17m 26s codegen-ordering
codegen-ordering
1h 17m 26s
Merge remote-tracking branch 'upstream/main' into codegen-ordering Kani Format Check #411: Commit c871817 pushed by feliperodri
2m 48s codegen-ordering
codegen-ordering
2m 48s
Merge branch 'main' into final-cache Kani CI #234: Commit ab96d1f pushed by feliperodri
50m 41s final-cache
final-cache
50m 41s
Merge branch 'main' into final-cache Kani Format Check #410: Commit ab96d1f pushed by feliperodri
1m 35s final-cache
final-cache
1m 35s
Merge branch 'main' into codegen-ordering Kani Format Check #409: Commit 5729f37 pushed by feliperodri
1m 43s codegen-ordering
codegen-ordering
1m 43s
Merge branch 'main' into codegen-ordering Kani CI #233: Commit 5729f37 pushed by feliperodri
3m 2s codegen-ordering
codegen-ordering
3m 2s
Merge branch 'main' into final-cache Kani Format Check #408: Commit 6d4edc8 pushed by feliperodri
3m 41s final-cache
final-cache
3m 41s
Merge branch 'main' into final-cache Kani CI #232: Commit 6d4edc8 pushed by feliperodri
1h 21m 43s final-cache
final-cache
1h 21m 43s
Nightly: Slow tests Nightly: Slow tests #153: Scheduled
1h 18m 18s main
main
1h 18m 18s
Nightly: Slow tests Nightly: Slow tests #152: Scheduled
55m 46s main
main
55m 46s
Nightly: Slow tests Nightly: Slow tests #151: Scheduled
1h 28m 53s main
main
1h 28m 53s
Nightly: Slow tests Nightly: Slow tests #150: Scheduled
1h 11m 11s main
main
1h 11m 11s
Nightly: Slow tests Nightly: Slow tests #149: Scheduled
1h 13m 19s main
main
1h 13m 19s
Nightly: Slow tests Nightly: Slow tests #148: Scheduled
1h 20m 48s main
main
1h 20m 48s
Nightly: Slow tests Nightly: Slow tests #147: Scheduled
1h 21m 15s main
main
1h 21m 15s
Nightly: Slow tests Nightly: Slow tests #146: Scheduled
1h 22m 22s main
main
1h 22m 22s
Nightly: Slow tests Nightly: Slow tests #145: Scheduled
56m 23s main
main
56m 23s