Skip to content

Actions: zhassan-aws/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.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 Format Check #564: Commit 516b0a6 pushed by zhassan-aws
October 15, 2024 22:24 3m 38s nightly-2024-10-15
nightly-2024-10-15
October 15, 2024 22:24 3m 38s
Merge branch 'main' into exclude-charon Kani Format Check #563: Commit 1e03702 pushed by zhassan-aws
October 10, 2024 06:10 3m 11s exclude-charon
exclude-charon
October 10, 2024 06:10 3m 11s
Remove the overflow checks for wrapping_offset Kani Format Check #562: Commit 46d3853 pushed by zhassan-aws
October 9, 2024 22:40 2m 30s fix-iss3582
fix-iss3582
October 9, 2024 22:40 2m 30s
[Lean] Preserve variable names Kani Format Check #561: Commit 29d67be pushed by zhassan-aws
October 9, 2024 04:41 2m 23s llbc-names
llbc-names
October 9, 2024 04:41 2m 23s
Fix test Kani Format Check #560: Commit 14c143b pushed by zhassan-aws
October 9, 2024 04:28 2m 18s iss3582
iss3582
October 9, 2024 04:28 2m 18s
Fix the computation of the number of bytes of a pointer offset Kani Format Check #559: Commit fd39cfc pushed by zhassan-aws
October 9, 2024 02:29 2m 25s iss3582
iss3582
October 9, 2024 02:29 2m 25s
Exclude Charon from workspace Kani Format Check #558: Commit fe17fdc pushed by zhassan-aws
October 8, 2024 22:24 3m 35s exclude-charon
exclude-charon
October 8, 2024 22:24 3m 35s
Merge branch 'main' into llbc4 Kani Format Check #557: Commit ab60c38 pushed by zhassan-aws
October 8, 2024 16:46 2m 27s llbc4
llbc4
October 8, 2024 16:46 2m 27s
Merge branch 'main' into llbc4 Kani Format Check #556: Commit 0e8436e pushed by zhassan-aws
October 8, 2024 01:08 2m 33s llbc4
llbc4
October 8, 2024 01:08 2m 33s
[aeneas] Preserve variable names Kani Format Check #555: Commit c64aea5 pushed by zhassan-aws
October 1, 2024 23:04 2m 31s llbc-names
llbc-names
October 1, 2024 23:04 2m 31s
Add back test Kani Format Check #554: Commit b751ad8 pushed by zhassan-aws
October 1, 2024 21:34 2m 4s remove-linker-options
remove-linker-options
October 1, 2024 21:34 2m 4s
Remove --mir-linker from Cargo.toml Kani Format Check #553: Commit 040ab6f pushed by zhassan-aws
October 1, 2024 21:03 2m 14s remove-linker-options
remove-linker-options
October 1, 2024 21:03 2m 14s
Remove --mir-linker from tests Kani Format Check #552: Commit 3853481 pushed by zhassan-aws
October 1, 2024 19:07 3m 24s remove-linker-options
remove-linker-options
October 1, 2024 19:07 3m 24s
Allow dead code Kani Format Check #551: Commit fdfb51f pushed by zhassan-aws
October 1, 2024 18:26 2m 3s remove-linker-options
remove-linker-options
October 1, 2024 18:26 2m 3s
Remove obsolete linker options Kani Format Check #550: Commit 8de24f5 pushed by zhassan-aws
October 1, 2024 18:08 3m 1s remove-linker-options
remove-linker-options
October 1, 2024 18:08 3m 1s
Merge branch 'main' into llbc4 Kani Format Check #549: Commit f7b0b9f pushed by zhassan-aws
October 1, 2024 18:05 3m 50s llbc4
llbc4
October 1, 2024 18:05 3m 50s
Exclude Charon when running clippy Kani Format Check #548: Commit fb086ea pushed by zhassan-aws
October 1, 2024 01:16 4m 3s llbc4
llbc4
October 1, 2024 01:16 4m 3s
Hide --print-llbc option Kani Format Check #547: Commit 1312e04 pushed by zhassan-aws
October 1, 2024 00:59 3m 26s llbc4
llbc4
October 1, 2024 00:59 3m 26s
Expand doc Kani Format Check #546: Commit 8801545 pushed by zhassan-aws
September 27, 2024 23:32 3m 33s llbc4
llbc4
September 27, 2024 23:32 3m 33s
fmt Kani Format Check #545: Commit 2b924c2 pushed by zhassan-aws
September 27, 2024 23:24 1m 48s llbc4
llbc4
September 27, 2024 23:24 1m 48s
Address PR comments Kani Format Check #544: Commit eac417a pushed by zhassan-aws
September 27, 2024 23:11 3m 24s llbc4
llbc4
September 27, 2024 23:11 3m 24s
Switch to using a git submodule for charon Kani Format Check #543: Commit ff36bf0 pushed by zhassan-aws
September 27, 2024 19:50 2m 4s llbc4
llbc4
September 27, 2024 19:50 2m 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
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
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