Skip to content

Actions: zhassan-aws/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify TODO Cargo Deny #41: Commit f2fdc91 pushed by zhassan-aws
September 20, 2024 23:28 58s llbc4
llbc4
September 20, 2024 23:28 58s
Merge branch 'main' into llbc4 Cargo Deny #40: Commit e41c5e7 pushed by zhassan-aws
September 20, 2024 23:21 1m 5s llbc4
llbc4
September 20, 2024 23:21 1m 5s
Merge branch 'main' into llbc4 Cargo Deny #39: Commit 9dd16d5 pushed by zhassan-aws
September 19, 2024 18:22 1m 48s llbc4
llbc4
September 19, 2024 18:22 1m 48s
Add an LLBC backend Cargo Deny #38: Commit e7dbbff pushed by zhassan-aws
September 18, 2024 17:27 1m 12s llbc4
llbc4
September 18, 2024 17:27 1m 12s
Merge branch 'main' into iss-3498 Cargo Deny #37: Commit 53e65b0 pushed by zhassan-aws
September 17, 2024 22:09 1m 3s iss-3498
iss-3498
September 17, 2024 22:09 1m 3s
Add alignment checks Cargo Deny #36: Commit 4781127 pushed by zhassan-aws
September 17, 2024 22:09 1m 2s iss-3498
iss-3498
September 17, 2024 22:09 1m 2s
Re-remove kani-verify-fail Cargo Deny #35: Commit e1dd44a pushed by zhassan-aws
September 17, 2024 18:25 1m 23s iss-3498
iss-3498
September 17, 2024 18:25 1m 23s
Merge branch 'iss-3498' of https://github.com/zhassan-aws/kani into i… Cargo Deny #34: Commit 3555736 pushed by zhassan-aws
September 17, 2024 17:40 7m 15s iss-3498
iss-3498
September 17, 2024 17:40 7m 15s
Add an LLBC backend Cargo Deny #33: Commit 69840fb pushed by zhassan-aws
September 17, 2024 17:24 1m 17s llbc4
llbc4
September 17, 2024 17:24 1m 17s
Add an LLBC backend Cargo Deny #32: Commit c56066c pushed by zhassan-aws
September 17, 2024 17:21 1m 14s llbc4
llbc4
September 17, 2024 17:21 1m 14s
Update tests/kani/Projection/slice_slice_projection.rs Cargo Deny #31: Commit 3ddffa5 pushed by celinval
September 17, 2024 01:17 1m 5s iss-3498
iss-3498
September 17, 2024 01:17 1m 5s
Add an LLBC backend Cargo Deny #30: Commit 19bb660 pushed by zhassan-aws
September 17, 2024 00:29 1m 1s llbc4
llbc4
September 17, 2024 00:29 1m 1s
Fix slice test Cargo Deny #29: Commit b247369 pushed by celinval
September 16, 2024 23:55 1m 3s iss-3498
iss-3498
September 16, 2024 23:55 1m 3s
Add an LLBC backend Cargo Deny #28: Commit 0ec052a pushed by zhassan-aws
September 16, 2024 23:29 1m 24s llbc4
llbc4
September 16, 2024 23:29 1m 24s
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
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 argument Cargo Deny #24: Commit 0d2eb5a pushed by zhassan-aws
September 13, 2024 17:59 1m 59s llbc4
llbc4
September 13, 2024 17:59 1m 59s
Add a test Cargo Deny #23: Commit 6d46351 pushed by zhassan-aws
September 11, 2024 23:34 1m 45s llbc4
llbc4
September 11, 2024 23:34 1m 45s
Instrument validity checks for pointer to reference casts for slices … Cargo Deny #22: Commit e88fec1 pushed by zhassan-aws
September 11, 2024 23:06 1m 20s iss-3498
iss-3498
September 11, 2024 23:06 1m 20s
Instrument validity checks for pointer to reference casts for slices … Cargo Deny #21: Commit 27b0ceb pushed by zhassan-aws
September 11, 2024 23:05 1m 14s iss-3498
iss-3498
September 11, 2024 23:05 1m 14s
Instrument validity checks for pointer to reference casts for slices … Cargo Deny #20: Commit 46e0856 pushed by zhassan-aws
September 11, 2024 23:02 1m 15s iss-3498
iss-3498
September 11, 2024 23:02 1m 15s
Merge branch 'main' into modify-stub-test Cargo Deny #19: Commit 957f03a pushed by zhassan-aws
September 9, 2024 19:01 1m 3s modify-stub-test
modify-stub-test
September 9, 2024 19:01 1m 3s
Reduce object-bits for test to avoid OOM Cargo Deny #18: Commit 710f9ac pushed by zhassan-aws
September 9, 2024 18:58 1m 4s modify-stub-test
modify-stub-test
September 9, 2024 18:58 1m 4s
Reduce object-bits for test to avoid OOM Cargo Deny #17: Commit 3cb8ec4 pushed by zhassan-aws
September 9, 2024 18:52 1m 21s modify-stub-test
modify-stub-test
September 9, 2024 18:52 1m 21s