Skip to content

Actions: celinval/kani-dev

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix test expectations Cargo Deny #45: Commit e618e0d pushed by celinval
October 12, 2024 06:13 1m 17s issue-3563-ambiguous
issue-3563-ambiguous
October 12, 2024 06:13 1m 17s
Apply suggestions from code review Cargo Deny #44: Commit c69f26a pushed by celinval
October 12, 2024 01:56 1m 40s issue-3563-ambiguous
issue-3563-ambiguous
October 12, 2024 01:56 1m 40s
Add a gen_proof_for_contract macro Cargo Deny #43: Commit ae139ab pushed by celinval
October 11, 2024 23:55 1m 12s issue-3590-gen-harness
issue-3590-gen-harness
October 11, 2024 23:55 1m 12s
Update test expectations to match new error msg Cargo Deny #42: Commit 32e3c0f pushed by celinval
October 11, 2024 20:14 1m 5s issue-3563-ambiguous
issue-3563-ambiguous
October 11, 2024 20:14 1m 5s
Use run_piped instead Cargo Deny #41: Commit 1a15f0f pushed by celinval
October 11, 2024 20:04 1m 29s issue-3563-ambiguous
issue-3563-ambiguous
October 11, 2024 20:04 1m 29s
Support fully-qualified --package arguments Cargo Deny #40: Commit 23fc3de pushed by celinval
October 11, 2024 19:51 1m 51s issue-3563-ambiguous
issue-3563-ambiguous
October 11, 2024 19:51 1m 51s
Update the release notes to include new changes Cargo Deny #39: Commit 69a71f7 pushed by celinval
October 9, 2024 18:30 1m 10s release-0.56.0-attempt2
release-0.56.0-attempt2
October 9, 2024 18:30 1m 10s
Address PR comments Cargo Deny #38: Commit 7987f1a pushed by celinval
October 8, 2024 23:24 1m 4s release-0.56.0
release-0.56.0
October 8, 2024 23:24 1m 4s
Add fn that checks pointers point to same allocation Cargo Deny #37: Commit f46a41d pushed by celinval
October 8, 2024 23:17 1m 2s issue-3578-valid-offset
issue-3578-valid-offset
October 8, 2024 23:17 1m 2s
Bump Kani version to 0.56.0 Cargo Deny #36: Commit 8e7ea05 pushed by celinval
October 8, 2024 22:42 1m 5s release-0.56.0
release-0.56.0
October 8, 2024 22:42 1m 5s
Update kani-driver/src/call_cargo.rs Cargo Deny #35: Commit 53ce5e5 pushed by celinval
October 7, 2024 23:49 59s issue-3574-std-cargo
issue-3574-std-cargo
October 7, 2024 23:49 59s
Add test Cargo Deny #34: Commit fd01557 pushed by celinval
October 7, 2024 22:04 1m 5s issue-3574-std-cargo
issue-3574-std-cargo
October 7, 2024 22:04 1m 5s
Running verify-std no longer changes Cargo files Cargo Deny #33: Commit c86d011 pushed by celinval
October 7, 2024 21:25 1m 3s issue-3574-std-cargo
issue-3574-std-cargo
October 7, 2024 21:25 1m 3s
Fix issue with linking rlib + another library type Cargo Deny #32: Commit 05aeff2 pushed by celinval
October 7, 2024 20:43 1m 18s issue-3569-multi-libs
issue-3569-multi-libs
October 7, 2024 20:43 1m 18s
Fix issue with linking rlib + another library type Cargo Deny #31: Commit b000bb2 pushed by celinval
October 7, 2024 20:40 1m 42s issue-3569-multi-libs
issue-3569-multi-libs
October 7, 2024 20:40 1m 42s
Add comments about pointer alignment Cargo Deny #30: Commit 29ba37e pushed by celinval
October 4, 2024 23:11 1m 47s issue-2300-ptr-generator
issue-2300-ptr-generator
October 4, 2024 23:11 1m 47s
Address PR comments Cargo Deny #29: Commit f5bddca pushed by celinval
October 4, 2024 23:08 1m 41s issue-2300-ptr-generator
issue-2300-ptr-generator
October 4, 2024 23:08 1m 41s
Address comments and add doc examples to regression Cargo Deny #28: Commit 059e369 pushed by celinval
October 3, 2024 23:50 1m 44s issue-2300-ptr-generator
issue-2300-ptr-generator
October 3, 2024 23:50 1m 44s
Merge branch 'main' into issue-2300-ptr-generator Cargo Deny #27: Commit 8ca252b pushed by celinval
October 2, 2024 23:43 1m 14s issue-2300-ptr-generator
issue-2300-ptr-generator
October 2, 2024 23:43 1m 14s
Apply suggestions from code review Cargo Deny #26: Commit e589754 pushed by celinval
October 2, 2024 23:41 2m 1s issue-2300-ptr-generator
issue-2300-ptr-generator
October 2, 2024 23:41 2m 1s
Address PR comments Cargo Deny #25: Commit ffa99a5 pushed by celinval
October 2, 2024 00:03 1m 48s chores-doc-tests
chores-doc-tests
October 2, 2024 00:03 1m 48s
Add deprecation warning only for kani crate Cargo Deny #24: Commit 142f8d8 pushed by celinval
October 1, 2024 00:52 1m 35s chores-doc-tests
chores-doc-tests
October 1, 2024 00:52 1m 35s
Add deprecation warning only for kani crate Cargo Deny #23: Commit 921e1e6 pushed by celinval
September 28, 2024 00:10 1m 12s chores-doc-tests
chores-doc-tests
September 28, 2024 00:10 1m 12s
Fix error message for derive arbitrary Cargo Deny #22: Commit e49ec5c pushed by celinval
September 27, 2024 02:35 1m 29s issue-2300-ptr-generator
issue-2300-ptr-generator
September 27, 2024 02:35 1m 29s
Merge remote-tracking branch 'origin/main' into issue-2300-ptr-generator Cargo Deny #21: Commit 4eca302 pushed by celinval
September 27, 2024 01:31 2m 46s issue-2300-ptr-generator
issue-2300-ptr-generator
September 27, 2024 01:31 2m 46s