Skip to content

Actions: zhassan-aws/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2024-10-15 Cargo Deny #66: Commit 516b0a6 pushed by zhassan-aws
October 15, 2024 22:24 1m 14s nightly-2024-10-15
nightly-2024-10-15
October 15, 2024 22:24 1m 14s
Merge branch 'main' into exclude-charon Cargo Deny #65: Commit 1e03702 pushed by zhassan-aws
October 10, 2024 06:10 1m 9s exclude-charon
exclude-charon
October 10, 2024 06:10 1m 9s
Remove the overflow checks for wrapping_offset Cargo Deny #64: Commit 46d3853 pushed by zhassan-aws
October 9, 2024 22:40 1m 19s fix-iss3582
fix-iss3582
October 9, 2024 22:40 1m 19s
[Lean] Preserve variable names Cargo Deny #63: Commit 29d67be pushed by zhassan-aws
October 9, 2024 04:41 1m 6s llbc-names
llbc-names
October 9, 2024 04:41 1m 6s
Fix test Cargo Deny #62: Commit 14c143b pushed by zhassan-aws
October 9, 2024 04:28 1m 52s iss3582
iss3582
October 9, 2024 04:28 1m 52s
Fix the computation of the number of bytes of a pointer offset Cargo Deny #61: Commit fd39cfc pushed by zhassan-aws
October 9, 2024 02:29 1m 31s iss3582
iss3582
October 9, 2024 02:29 1m 31s
Exclude Charon from workspace Cargo Deny #60: Commit fe17fdc pushed by zhassan-aws
October 8, 2024 22:24 1m 15s exclude-charon
exclude-charon
October 8, 2024 22:24 1m 15s
Merge branch 'main' into llbc4 Cargo Deny #59: Commit ab60c38 pushed by zhassan-aws
October 8, 2024 16:46 1m 53s llbc4
llbc4
October 8, 2024 16:46 1m 53s
Merge branch 'main' into llbc4 Cargo Deny #58: Commit 0e8436e pushed by zhassan-aws
October 8, 2024 01:08 1m 11s llbc4
llbc4
October 8, 2024 01:08 1m 11s
[aeneas] Preserve variable names Cargo Deny #57: Commit c64aea5 pushed by zhassan-aws
October 1, 2024 23:04 1m 18s llbc-names
llbc-names
October 1, 2024 23:04 1m 18s
Add back test Cargo Deny #56: Commit b751ad8 pushed by zhassan-aws
October 1, 2024 21:34 1m 7s remove-linker-options
remove-linker-options
October 1, 2024 21:34 1m 7s
Remove --mir-linker from Cargo.toml Cargo Deny #55: Commit 040ab6f pushed by zhassan-aws
October 1, 2024 21:03 1m 4s remove-linker-options
remove-linker-options
October 1, 2024 21:03 1m 4s
Remove --mir-linker from tests Cargo Deny #54: Commit 3853481 pushed by zhassan-aws
October 1, 2024 19:07 1m 5s remove-linker-options
remove-linker-options
October 1, 2024 19:07 1m 5s
Allow dead code Cargo Deny #53: Commit fdfb51f pushed by zhassan-aws
October 1, 2024 18:26 1m 7s remove-linker-options
remove-linker-options
October 1, 2024 18:26 1m 7s
Remove obsolete linker options Cargo Deny #52: Commit 8de24f5 pushed by zhassan-aws
October 1, 2024 18:08 1m 3s remove-linker-options
remove-linker-options
October 1, 2024 18:08 1m 3s
Merge branch 'main' into llbc4 Cargo Deny #51: Commit f7b0b9f pushed by zhassan-aws
October 1, 2024 18:05 1m 10s llbc4
llbc4
October 1, 2024 18:05 1m 10s
Exclude Charon when running clippy Cargo Deny #50: Commit fb086ea pushed by zhassan-aws
October 1, 2024 01:16 1m 7s llbc4
llbc4
October 1, 2024 01:16 1m 7s
Hide --print-llbc option Cargo Deny #49: Commit 1312e04 pushed by zhassan-aws
October 1, 2024 00:59 58s llbc4
llbc4
October 1, 2024 00:59 58s
Expand doc Cargo Deny #48: Commit 8801545 pushed by zhassan-aws
September 27, 2024 23:32 1m 7s llbc4
llbc4
September 27, 2024 23:32 1m 7s
fmt Cargo Deny #47: Commit 2b924c2 pushed by zhassan-aws
September 27, 2024 23:24 1m 0s llbc4
llbc4
September 27, 2024 23:24 1m 0s
Address PR comments Cargo Deny #46: Commit eac417a pushed by zhassan-aws
September 27, 2024 23:11 1m 32s llbc4
llbc4
September 27, 2024 23:11 1m 32s
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 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
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
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