Skip to content

Actions: zhassan-aws/kani

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to using a git submodule for charon Cargo Deny #45: Commit ff36bf0 pushed by zhassan-aws
September 27, 2024 19:50 1m 12s llbc4
llbc4
September 27, 2024 19:50 1m 12s
Update binary linking Kani CI #885: Commit 211d94a pushed by zhassan-aws
September 27, 2024 18:11 43m 4s llbc4
llbc4
September 27, 2024 18:11 43m 4s
Update binary linking Kani Format Check #542: Commit 211d94a pushed by zhassan-aws
September 27, 2024 18:11 2m 18s llbc4
llbc4
September 27, 2024 18:11 2m 18s
Update binary linking Cargo Deny #44: Commit 211d94a pushed by zhassan-aws
September 27, 2024 18:11 1m 4s llbc4
llbc4
September 27, 2024 18:11 1m 4s
Nightly: CBMC Latest Nightly: CBMC Latest #650: Scheduled
September 27, 2024 09:11 37m 39s fork_main
fork_main
September 27, 2024 09:11 37m 39s
Nightly: Slow tests Nightly: Slow tests #628: Scheduled
September 27, 2024 05:36 10m 25s fork_main
fork_main
September 27, 2024 05:36 10m 25s
Update "features/verify-rust-std" Update "features/verify-rust-std" #18: Scheduled
September 27, 2024 03:42 13m 5s fork_main
fork_main
September 27, 2024 03:42 13m 5s
Attempt toolchain update Attempt toolchain update #539: Scheduled
September 27, 2024 03:01 11m 35s fork_main
fork_main
September 27, 2024 03:01 11m 35s
Hack the driver to run Aeneas Cargo Deny #43: Commit 6654401 pushed by zhassan-aws
September 26, 2024 20:15 1m 39s llbc-driver-hacks
llbc-driver-hacks
September 26, 2024 20:15 1m 39s
Hack the driver to run Aeneas Kani Format Check #541: Commit 6654401 pushed by zhassan-aws
September 26, 2024 20:15 2m 0s llbc-driver-hacks
llbc-driver-hacks
September 26, 2024 20:15 2m 0s
Hack the driver to run Aeneas Kani CI #884: Commit 6654401 pushed by zhassan-aws
September 26, 2024 20:15 35m 6s llbc-driver-hacks
llbc-driver-hacks
September 26, 2024 20:15 35m 6s
Nightly: CBMC Latest Nightly: CBMC Latest #649: Scheduled
September 26, 2024 09:11 38m 46s fork_main
fork_main
September 26, 2024 09:11 38m 46s
Nightly: Slow tests Nightly: Slow tests #627: Scheduled
September 26, 2024 05:36 9m 24s fork_main
fork_main
September 26, 2024 05:36 9m 24s
Update "features/verify-rust-std" Update "features/verify-rust-std" #17: Scheduled
September 26, 2024 03:42 11m 32s fork_main
fork_main
September 26, 2024 03:42 11m 32s
Attempt toolchain update Attempt toolchain update #538: Scheduled
September 26, 2024 03:01 10m 8s fork_main
fork_main
September 26, 2024 03:01 10m 8s
Nightly: CBMC Latest Nightly: CBMC Latest #648: Scheduled
September 25, 2024 09:11 39m 13s fork_main
fork_main
September 25, 2024 09:11 39m 13s
Nightly: Slow tests Nightly: Slow tests #626: Scheduled
September 25, 2024 05:36 8m 43s fork_main
fork_main
September 25, 2024 05:36 8m 43s
Update "features/verify-rust-std" Update "features/verify-rust-std" #16: Scheduled
September 25, 2024 03:44 17m 55s fork_main
fork_main
September 25, 2024 03:44 17m 55s
Attempt toolchain update Attempt toolchain update #537: Scheduled
September 25, 2024 03:03 9m 57s fork_main
fork_main
September 25, 2024 03:03 9m 57s
Nightly: CBMC Latest Nightly: CBMC Latest #647: Scheduled
September 24, 2024 09:11 38m 14s fork_main
fork_main
September 24, 2024 09:11 38m 14s
Nightly: Slow tests Nightly: Slow tests #625: Scheduled
September 24, 2024 05:36 10m 37s fork_main
fork_main
September 24, 2024 05:36 10m 37s
Update "features/verify-rust-std" Update "features/verify-rust-std" #15: Scheduled
September 24, 2024 03:42 33m 32s fork_main
fork_main
September 24, 2024 03:42 33m 32s
Attempt toolchain update Attempt toolchain update #536: Scheduled
September 24, 2024 03:01 10m 15s fork_main
fork_main
September 24, 2024 03:01 10m 15s
Cleanup and add doc comments Kani Format Check #540: Commit a9b5dab pushed by zhassan-aws
September 23, 2024 12:47 2m 33s llbc4
llbc4
September 23, 2024 12:47 2m 33s
Cleanup and add doc comments Cargo Deny #42: Commit a9b5dab pushed by zhassan-aws
September 23, 2024 12:47 1m 51s llbc4
llbc4
September 23, 2024 12:47 1m 51s