Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,067 workflow runs
2,067 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #594: Scheduled
March 10, 2025 09:17 27m 27s main
main
March 10, 2025 09:17 27m 27s
Nightly: Slow tests Nightly: Slow tests #596: Scheduled
March 10, 2025 05:33 Queued main
main
March 10, 2025 05:33 Queued
Attempt toolchain update Attempt toolchain update #850: Scheduled
March 10, 2025 02:44 1m 4s main
main
March 10, 2025 02:44 1m 4s
Nightly: CBMC Latest Nightly: CBMC Latest #593: Scheduled
March 9, 2025 09:14 26m 13s main
main
March 9, 2025 09:14 26m 13s
Nightly: Slow tests Nightly: Slow tests #595: Scheduled
March 9, 2025 05:32 1d 11h 34m 35s main
main
March 9, 2025 05:32 1d 11h 34m 35s
Attempt toolchain update Attempt toolchain update #849: Scheduled
March 9, 2025 02:44 2m 7s main
main
March 9, 2025 02:44 2m 7s
Nightly: CBMC Latest Nightly: CBMC Latest #592: Scheduled
March 8, 2025 09:15 25m 42s main
main
March 8, 2025 09:15 25m 42s
Nightly: Slow tests Nightly: Slow tests #594: Scheduled
March 8, 2025 05:32 1d 0h 0m 3s main
main
March 8, 2025 05:32 1d 0h 0m 3s
Attempt toolchain update Attempt toolchain update #848: Scheduled
March 8, 2025 02:41 2m 22s main
main
March 8, 2025 02:41 2m 22s
Nightly: CBMC Latest Nightly: CBMC Latest #591: Scheduled
March 7, 2025 09:19 25m 0s main
main
March 7, 2025 09:19 25m 0s
Nightly: Slow tests Nightly: Slow tests #593: Scheduled
March 7, 2025 05:37 1d 0h 0m 1s main
main
March 7, 2025 05:37 1d 0h 0m 1s
Attempt toolchain update Attempt toolchain update #847: Scheduled
March 7, 2025 03:05 2m 18s main
main
March 7, 2025 03:05 2m 18s
Nightly: CBMC Latest Nightly: CBMC Latest #590: Scheduled
March 6, 2025 09:20 27m 3s main
main
March 6, 2025 09:20 27m 3s
Nightly: Slow tests Nightly: Slow tests #592: Scheduled
March 6, 2025 05:37 1d 15h 13m 11s main
main
March 6, 2025 05:37 1d 15h 13m 11s
Attempt toolchain update Attempt toolchain update #846: Scheduled
March 6, 2025 03:04 2m 3s main
main
March 6, 2025 03:04 2m 3s
Nightly: CBMC Latest Nightly: CBMC Latest #589: Scheduled
March 5, 2025 09:20 2m 29s main
main
March 5, 2025 09:20 2m 29s
Nightly: Slow tests Nightly: Slow tests #591: Scheduled
March 5, 2025 05:38 1m 7s main
main
March 5, 2025 05:38 1m 7s
Attempt toolchain update Attempt toolchain update #845: Scheduled
March 5, 2025 03:04 1m 4s main
main
March 5, 2025 03:04 1m 4s
Remove Ubuntu 20.04 CI usage Cargo Deny #66: Commit 8cbbecb pushed by tautschnig
March 4, 2025 17:17 1m 50s remove-20-04
remove-20-04
March 4, 2025 17:17 1m 50s
Remove Ubuntu 20.04 CI usage Kani CI #498: Commit 8cbbecb pushed by tautschnig
March 4, 2025 17:17 1h 0m 6s remove-20-04
remove-20-04
March 4, 2025 17:17 1h 0m 6s
Remove Ubuntu 20.04 CI usage Kani Format Check #498: Commit 8cbbecb pushed by tautschnig
March 4, 2025 17:17 2m 32s remove-20-04
remove-20-04
March 4, 2025 17:17 2m 32s
Merge remote-tracking branch 'origin/main' into loop-stats Kani CI #497: Commit 7eaf01d pushed by tautschnig
March 4, 2025 09:23 55m 42s loop-stats
loop-stats
March 4, 2025 09:23 55m 42s
Merge remote-tracking branch 'origin/main' into loop-stats Kani Format Check #497: Commit 7eaf01d pushed by tautschnig
March 4, 2025 09:23 3m 47s loop-stats
loop-stats
March 4, 2025 09:23 3m 47s
Merge remote-tracking branch 'origin/main' into loop-stats Cargo Deny #65: Commit 7eaf01d pushed by tautschnig
March 4, 2025 09:23 2m 27s loop-stats
loop-stats
March 4, 2025 09:23 2m 27s
Nightly: CBMC Latest Nightly: CBMC Latest #588: Scheduled
March 4, 2025 09:20 2m 36s main
main
March 4, 2025 09:20 2m 36s