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

Add an LLBC backend Kani Format Check #526: Commit 0ec052a pushed by zhassan-aws
September 16, 2024 23:29 2m 20s llbc4
llbc4
September 16, 2024 23:29 2m 20s
Downgrade once_cell Kani CI #868: Commit 5b4941b pushed by zhassan-aws
September 16, 2024 18:46 42m 21s downgrade-crate
downgrade-crate
September 16, 2024 18:46 42m 21s
Downgrade once_cell Kani Format Check #525: Commit 5b4941b pushed by zhassan-aws
September 16, 2024 18:46 2m 5s downgrade-crate
downgrade-crate
September 16, 2024 18:46 2m 5s
Downgrade once_cell Cargo Deny #27: Commit 5b4941b pushed by zhassan-aws
September 16, 2024 18:46 1m 13s downgrade-crate
downgrade-crate
September 16, 2024 18:46 1m 13s
Nightly: CBMC Latest Nightly: CBMC Latest #639: Scheduled
September 16, 2024 09:12 1h 12m 2s fork_main
fork_main
September 16, 2024 09:12 1h 12m 2s
Nightly: Slow tests Nightly: Slow tests #617: Scheduled
September 16, 2024 05:37 8m 10s fork_main
fork_main
September 16, 2024 05:37 8m 10s
Attempt CBMC update Attempt CBMC update #29: Scheduled
September 16, 2024 04:43 1m 3s fork_main
fork_main
September 16, 2024 04:43 1m 3s
Update "features/verify-rust-std" Update "features/verify-rust-std" #7: Scheduled
September 16, 2024 03:44 1m 57s fork_main
fork_main
September 16, 2024 03:44 1m 57s
Attempt cargo update Attempt cargo update #29: Scheduled
September 16, 2024 03:40 4m 4s fork_main
fork_main
September 16, 2024 03:40 4m 4s
Attempt toolchain update Attempt toolchain update #528: Scheduled
September 16, 2024 03:04 11m 39s fork_main
fork_main
September 16, 2024 03:04 11m 39s
Nightly: CBMC Latest Nightly: CBMC Latest #638: Scheduled
September 15, 2024 09:09 56m 16s fork_main
fork_main
September 15, 2024 09:09 56m 16s
Nightly: Slow tests Nightly: Slow tests #616: Scheduled
September 15, 2024 05:34 7m 47s fork_main
fork_main
September 15, 2024 05:34 7m 47s
Update "features/verify-rust-std" Update "features/verify-rust-std" #6: Scheduled
September 15, 2024 03:41 33m 21s fork_main
fork_main
September 15, 2024 03:41 33m 21s
Attempt toolchain update Attempt toolchain update #527: Scheduled
September 15, 2024 03:02 9m 48s fork_main
fork_main
September 15, 2024 03:02 9m 48s
Nightly: CBMC Latest Nightly: CBMC Latest #637: Scheduled
September 14, 2024 09:09 50m 12s fork_main
fork_main
September 14, 2024 09:09 50m 12s
Nightly: Slow tests Nightly: Slow tests #615: Scheduled
September 14, 2024 05:35 7m 14s fork_main
fork_main
September 14, 2024 05:35 7m 14s
Update "features/verify-rust-std" Update "features/verify-rust-std" #5: Scheduled
September 14, 2024 03:38 30m 53s fork_main
fork_main
September 14, 2024 03:38 30m 53s
Attempt toolchain update Attempt toolchain update #526: Scheduled
September 14, 2024 02:54 9m 46s fork_main
fork_main
September 14, 2024 02:54 9m 46s
Add an LLBC backend Kani CI #867: Commit bd5eccb pushed by zhassan-aws
September 14, 2024 00:07 51m 14s llbc4
llbc4
September 14, 2024 00:07 51m 14s
Add an LLBC backend Kani Format Check #524: Commit bd5eccb pushed by zhassan-aws
September 14, 2024 00:07 3m 50s llbc4
llbc4
September 14, 2024 00:07 3m 50s
Add an LLBC backend Cargo Deny #26: Commit bd5eccb pushed by zhassan-aws
September 14, 2024 00:07 1m 5s llbc4
llbc4
September 14, 2024 00:07 1m 5s
Fix backend argument Cargo Deny #25: Commit 62636d5 pushed by zhassan-aws
September 13, 2024 19:08 1m 9s llbc4
llbc4
September 13, 2024 19:08 1m 9s
Fix backend argument Kani CI #866: Commit 62636d5 pushed by zhassan-aws
September 13, 2024 19:08 1h 0m 38s llbc4
llbc4
September 13, 2024 19:08 1h 0m 38s
Fix backend argument Kani Format Check #523: Commit 62636d5 pushed by zhassan-aws
September 13, 2024 19:08 2m 34s llbc4
llbc4
September 13, 2024 19:08 2m 34s
Fix argument Kani CI #865: Commit 0d2eb5a pushed by zhassan-aws
September 13, 2024 17:59 32m 41s llbc4
llbc4
September 13, 2024 17:59 32m 41s