Skip to content

Actions: carolynzech/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

address first round of PR comments Cargo Audit #27: Commit 853c592 pushed by carolynzech
August 30, 2024 16:37 1m 30s list-rfc
list-rfc
August 30, 2024 16:37 1m 30s
add other issue link Cargo Audit #26: Commit 761a8ea pushed by carolynzech
August 27, 2024 00:34 1m 9s list-rfc
list-rfc
August 27, 2024 00:34 1m 9s
add rationale Cargo Audit #25: Commit 1549369 pushed by carolynzech
August 27, 2024 00:32 1m 12s list-rfc
list-rfc
August 27, 2024 00:32 1m 12s
list rfc v0 Cargo Audit #24: Commit 6c35d23 pushed by carolynzech
August 27, 2024 00:10 1m 5s list-rfc
list-rfc
August 27, 2024 00:10 1m 5s
Automatic cargo update to 2024-08-26 (#3459) Cargo Audit #23: Commit 1f0b47f pushed by carolynzech
August 26, 2024 21:35 1m 13s main
main
August 26, 2024 21:35 1m 13s
Add loop scanner to tool-scanner (#3443) Cargo Audit #22: Commit d2141e4 pushed by carolynzech
August 21, 2024 20:32 1m 5s main
main
August 21, 2024 20:32 1m 5s
Automatic cargo update to 2024-08-19 (#3450) Cargo Audit #21: Commit 17dc239 pushed by carolynzech
August 20, 2024 19:52 1m 2s main
main
August 20, 2024 19:52 1m 2s
Actually apply CBMC patch (#3436) Cargo Audit #20: Commit e2a209b pushed by carolynzech
August 15, 2024 16:51 1m 16s features/verify-rust-std
features/verify-rust-std
August 15, 2024 16:51 1m 16s
Add test related to issue 3432 (#3439) Cargo Audit #19: Commit f27a5ed pushed by carolynzech
August 15, 2024 16:14 1m 8s main
main
August 15, 2024 16:14 1m 8s
make clippy happy Cargo Audit #18: Commit 7f263f7 pushed by carolynzech
August 7, 2024 13:38 1m 20s cover-or-fail
cover-or-fail
August 7, 2024 13:38 1m 20s
add test case similar to bolero issue Cargo Audit #17: Commit 9857cc8 pushed by carolynzech
August 6, 2024 22:50 1m 2s cover-or-fail
cover-or-fail
August 6, 2024 22:50 1m 2s
first draft of cover_or_fail with tests Cargo Audit #16: Commit 23f4e70 pushed by carolynzech
August 6, 2024 21:09 1m 2s cover-or-fail
cover-or-fail
August 6, 2024 21:09 1m 2s
Toolchain update: avoid Javascript interpreting git log (#3421) Cargo Audit #15: Commit c515d66 pushed by carolynzech
August 6, 2024 20:20 1m 11s main
main
August 6, 2024 20:20 1m 11s
update tests to reflect fix Cargo Audit #14: Commit 61515b6 pushed by carolynzech
August 5, 2024 14:55 1m 12s zst-contracts
zst-contracts
August 5, 2024 14:55 1m 12s
remove function from expected output Cargo Audit #13: Commit 66a40c9 pushed by carolynzech
August 5, 2024 13:42 1m 4s zst-contracts
zst-contracts
August 5, 2024 13:42 1m 4s
filter out zsts for cmbc assigns for contracts Cargo Audit #12: Commit b04a47a pushed by carolynzech
August 5, 2024 13:27 1m 19s zst-contracts
zst-contracts
August 5, 2024 13:27 1m 19s
Enable contracts in associated functions (#3363) Cargo Audit #11: Commit e980aa2 pushed by carolynzech
August 1, 2024 20:23 1m 2s main
main
August 1, 2024 20:23 1m 2s
Merge branch 'main' into tutorial-updates Cargo Audit #10: Commit d3974c9 pushed by jaisnan
July 31, 2024 19:02 1m 18s tutorial-updates
tutorial-updates
July 31, 2024 19:02 1m 18s
Merge branch 'main' into tutorial-updates Cargo Audit #9: Commit 45a56b6 pushed by jaisnan
July 31, 2024 13:38 57s tutorial-updates
tutorial-updates
July 31, 2024 13:38 57s
Update to CBMC version 6.1.1 (#2995) Cargo Audit #8: Commit e4078b4 pushed by carolynzech
July 31, 2024 13:20 1m 5s main
main
July 31, 2024 13:20 1m 5s
replace visualize references with concrete playback; fix links Cargo Audit #7: Commit e7989d0 pushed by carolynzech
July 31, 2024 00:25 1m 1s tutorial-updates
tutorial-updates
July 31, 2024 00:25 1m 1s
update bounds check example Cargo Audit #6: Commit 9f92012 pushed by carolynzech
July 30, 2024 20:44 1m 1s tutorial-updates
tutorial-updates
July 30, 2024 20:44 1m 1s
Merge branch 'model-checking:main' into tutorial-updates Cargo Audit #5: Commit 9490cee pushed by carolynzech
July 29, 2024 14:55 1m 9s tutorial-updates
tutorial-updates
July 29, 2024 14:55 1m 9s
Automatic cargo update to 2024-07-29 (#3390) Cargo Audit #4: Commit e4f0099 pushed by carolynzech
July 29, 2024 14:55 1m 11s main
main
July 29, 2024 14:55 1m 11s
add experimental features section Cargo Audit #3: Commit e08c8b4 pushed by carolynzech
July 29, 2024 14:54 1m 16s tutorial-updates
tutorial-updates
July 29, 2024 14:54 1m 16s