Skip to content

Actions: zhassan-aws/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2024-10-15 Kani CI #907: Commit 516b0a6 pushed by zhassan-aws
October 15, 2024 22:24 1h 0m 30s nightly-2024-10-15
nightly-2024-10-15
October 15, 2024 22:24 1h 0m 30s
Merge branch 'main' into exclude-charon Kani CI #906: Commit 1e03702 pushed by zhassan-aws
October 10, 2024 06:10 49m 33s exclude-charon
exclude-charon
October 10, 2024 06:10 49m 33s
Remove the overflow checks for wrapping_offset Kani CI #905: Commit 46d3853 pushed by zhassan-aws
October 9, 2024 22:40 53m 58s fix-iss3582
fix-iss3582
October 9, 2024 22:40 53m 58s
[Lean] Preserve variable names Kani CI #904: Commit 29d67be pushed by zhassan-aws
October 9, 2024 04:41 46m 39s llbc-names
llbc-names
October 9, 2024 04:41 46m 39s
Fix test Kani CI #903: Commit 14c143b pushed by zhassan-aws
October 9, 2024 04:28 1h 1m 39s iss3582
iss3582
October 9, 2024 04:28 1h 1m 39s
Fix the computation of the number of bytes of a pointer offset Kani CI #902: Commit fd39cfc pushed by zhassan-aws
October 9, 2024 02:29 34m 43s iss3582
iss3582
October 9, 2024 02:29 34m 43s
Exclude Charon from workspace Kani CI #901: Commit fe17fdc pushed by zhassan-aws
October 8, 2024 22:24 41m 38s exclude-charon
exclude-charon
October 8, 2024 22:24 41m 38s
Merge branch 'main' into llbc4 Kani CI #900: Commit ab60c38 pushed by zhassan-aws
October 8, 2024 16:46 50m 54s llbc4
llbc4
October 8, 2024 16:46 50m 54s
Merge branch 'main' into llbc4 Kani CI #899: Commit 0e8436e pushed by zhassan-aws
October 8, 2024 01:08 53m 32s llbc4
llbc4
October 8, 2024 01:08 53m 32s
[aeneas] Preserve variable names Kani CI #898: Commit c64aea5 pushed by zhassan-aws
October 1, 2024 23:04 47m 56s llbc-names
llbc-names
October 1, 2024 23:04 47m 56s
Add back test Kani CI #897: Commit b751ad8 pushed by zhassan-aws
October 1, 2024 21:34 58m 23s remove-linker-options
remove-linker-options
October 1, 2024 21:34 58m 23s
Remove --mir-linker from Cargo.toml Kani CI #896: Commit 040ab6f pushed by zhassan-aws
October 1, 2024 21:03 52m 28s remove-linker-options
remove-linker-options
October 1, 2024 21:03 52m 28s
Remove --mir-linker from tests Kani CI #895: Commit 3853481 pushed by zhassan-aws
October 1, 2024 19:07 34m 0s remove-linker-options
remove-linker-options
October 1, 2024 19:07 34m 0s
Allow dead code Kani CI #894: Commit fdfb51f pushed by zhassan-aws
October 1, 2024 18:26 32m 58s remove-linker-options
remove-linker-options
October 1, 2024 18:26 32m 58s
Remove obsolete linker options Kani CI #893: Commit 8de24f5 pushed by zhassan-aws
October 1, 2024 18:08 36m 6s remove-linker-options
remove-linker-options
October 1, 2024 18:08 36m 6s
Merge branch 'main' into llbc4 Kani CI #892: Commit f7b0b9f pushed by zhassan-aws
October 1, 2024 18:05 39m 15s llbc4
llbc4
October 1, 2024 18:05 39m 15s
Exclude Charon when running clippy Kani CI #891: Commit fb086ea pushed by zhassan-aws
October 1, 2024 01:16 57m 28s llbc4
llbc4
October 1, 2024 01:16 57m 28s
Hide --print-llbc option Kani CI #890: Commit 1312e04 pushed by zhassan-aws
October 1, 2024 00:59 1h 2m 38s llbc4
llbc4
October 1, 2024 00:59 1h 2m 38s
Expand doc Kani CI #889: Commit 8801545 pushed by zhassan-aws
September 27, 2024 23:32 44m 19s llbc4
llbc4
September 27, 2024 23:32 44m 19s
fmt Kani CI #888: Commit 2b924c2 pushed by zhassan-aws
September 27, 2024 23:24 45m 37s llbc4
llbc4
September 27, 2024 23:24 45m 37s
Address PR comments Kani CI #887: Commit eac417a pushed by zhassan-aws
September 27, 2024 23:11 34m 48s llbc4
llbc4
September 27, 2024 23:11 34m 48s
Switch to using a git submodule for charon Kani CI #886: Commit ff36bf0 pushed by zhassan-aws
September 27, 2024 19:50 49m 55s llbc4
llbc4
September 27, 2024 19:50 49m 55s
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
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
Cleanup and add doc comments Kani CI #883: Commit a9b5dab pushed by zhassan-aws
September 23, 2024 12:47 55m 32s llbc4
llbc4
September 23, 2024 12:47 55m 32s