Skip to content

Actions: zhassan-aws/kani

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: Slow tests Nightly: Slow tests #621: Scheduled
September 20, 2024 05:36 9m 58s fork_main
fork_main
September 20, 2024 05:36 9m 58s
Update "features/verify-rust-std" Update "features/verify-rust-std" #11: Scheduled
September 20, 2024 03:40 31m 41s fork_main
fork_main
September 20, 2024 03:40 31m 41s
Attempt toolchain update Attempt toolchain update #532: Scheduled
September 20, 2024 02:57 11m 0s fork_main
fork_main
September 20, 2024 02:57 11m 0s
Merge branch 'main' into llbc4 Kani Format Check #537: Commit 9dd16d5 pushed by zhassan-aws
September 19, 2024 18:22 2m 19s llbc4
llbc4
September 19, 2024 18:22 2m 19s
Merge branch 'main' into llbc4 Kani CI #880: Commit 9dd16d5 pushed by zhassan-aws
September 19, 2024 18:22 34m 59s llbc4
llbc4
September 19, 2024 18:22 34m 59s
Merge branch 'main' into llbc4 Cargo Deny #39: Commit 9dd16d5 pushed by zhassan-aws
September 19, 2024 18:22 1m 48s llbc4
llbc4
September 19, 2024 18:22 1m 48s
Nightly: CBMC Latest Nightly: CBMC Latest #642: Scheduled
September 19, 2024 09:10 38m 7s fork_main
fork_main
September 19, 2024 09:10 38m 7s
Nightly: Slow tests Nightly: Slow tests #620: Scheduled
September 19, 2024 05:35 7m 51s fork_main
fork_main
September 19, 2024 05:35 7m 51s
Update "features/verify-rust-std" Update "features/verify-rust-std" #10: Scheduled
September 19, 2024 03:40 33m 45s fork_main
fork_main
September 19, 2024 03:40 33m 45s
Attempt toolchain update Attempt toolchain update #531: Scheduled
September 19, 2024 02:57 11m 44s fork_main
fork_main
September 19, 2024 02:57 11m 44s
Add an LLBC backend Kani CI #879: Commit e7dbbff pushed by zhassan-aws
September 18, 2024 17:27 42m 38s llbc4
llbc4
September 18, 2024 17:27 42m 38s
Add an LLBC backend Kani Format Check #536: Commit e7dbbff pushed by zhassan-aws
September 18, 2024 17:27 3m 14s llbc4
llbc4
September 18, 2024 17:27 3m 14s
Add an LLBC backend Cargo Deny #38: Commit e7dbbff pushed by zhassan-aws
September 18, 2024 17:27 1m 12s llbc4
llbc4
September 18, 2024 17:27 1m 12s
Nightly: CBMC Latest Nightly: CBMC Latest #641: Scheduled
September 18, 2024 09:11 1h 5m 22s fork_main
fork_main
September 18, 2024 09:11 1h 5m 22s
Nightly: Slow tests Nightly: Slow tests #619: Scheduled
September 18, 2024 05:35 9m 21s fork_main
fork_main
September 18, 2024 05:35 9m 21s
Update "features/verify-rust-std" Update "features/verify-rust-std" #9: Scheduled
September 18, 2024 03:40 32m 27s fork_main
fork_main
September 18, 2024 03:40 32m 27s
Attempt toolchain update Attempt toolchain update #530: Scheduled
September 18, 2024 02:55 9m 59s fork_main
fork_main
September 18, 2024 02:55 9m 59s
Merge branch 'main' into iss-3498 Kani Format Check #535: Commit 53e65b0 pushed by zhassan-aws
September 17, 2024 22:09 2m 9s iss-3498
iss-3498
September 17, 2024 22:09 2m 9s
Merge branch 'main' into iss-3498 Kani CI #878: Commit 53e65b0 pushed by zhassan-aws
September 17, 2024 22:09 49m 6s iss-3498
iss-3498
September 17, 2024 22:09 49m 6s
Merge branch 'main' into iss-3498 Cargo Deny #37: Commit 53e65b0 pushed by zhassan-aws
September 17, 2024 22:09 1m 3s iss-3498
iss-3498
September 17, 2024 22:09 1m 3s
Add alignment checks Kani Format Check #534: Commit 4781127 pushed by zhassan-aws
September 17, 2024 22:09 3m 46s iss-3498
iss-3498
September 17, 2024 22:09 3m 46s
Add alignment checks Kani CI #877: Commit 4781127 pushed by zhassan-aws
September 17, 2024 22:09 49m 47s iss-3498
iss-3498
September 17, 2024 22:09 49m 47s
Add alignment checks Cargo Deny #36: Commit 4781127 pushed by zhassan-aws
September 17, 2024 22:09 1m 2s iss-3498
iss-3498
September 17, 2024 22:09 1m 2s
Re-remove kani-verify-fail Kani CI #876: Commit e1dd44a pushed by zhassan-aws
September 17, 2024 18:25 41m 0s iss-3498
iss-3498
September 17, 2024 18:25 41m 0s
Re-remove kani-verify-fail Kani Format Check #533: Commit e1dd44a pushed by zhassan-aws
September 17, 2024 18:25 2m 19s iss-3498
iss-3498
September 17, 2024 18:25 2m 19s