Skip to content

Actions: carolynzech/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add comment about len() Cargo Deny #170: Commit 7eb5e89 pushed by carolynzech
February 11, 2025 15:15 1m 41s toolchain-2-10
toolchain-2-10
February 11, 2025 15:15 1m 41s
Merge branch 'main' into optional-harness Cargo Deny #169: Commit d4f9522 pushed by carolynzech
February 11, 2025 15:00 1m 29s optional-harness
optional-harness
February 11, 2025 15:00 1m 29s
add expected file for loops fixme test Cargo Deny #168: Commit 8750860 pushed by carolynzech
February 10, 2025 19:45 1m 11s optional-harness
optional-harness
February 10, 2025 19:45 1m 11s
Upgrade toolchain to 2/10 Cargo Deny #167: Commit b972a5b pushed by carolynzech
February 10, 2025 19:24 1m 17s toolchain-2-10
toolchain-2-10
February 10, 2025 19:24 1m 17s
Upgrade toolchain to 2/10 Cargo Deny #166: Commit 93c7a48 pushed by carolynzech
February 10, 2025 17:16 1m 29s toolchain-2-10
toolchain-2-10
February 10, 2025 17:16 1m 29s
Add missing version number to changelog (#3877) Cargo Deny #165: Commit 94ed3f7 pushed by carolynzech
February 6, 2025 21:51 1m 8s main
main
February 6, 2025 21:51 1m 8s
Add missing version number Cargo Deny #164: Commit 98b41da pushed by carolynzech
February 6, 2025 18:09 1m 26s missing-version-number
missing-version-number
February 6, 2025 18:09 1m 26s
Add missing version number to changelog Cargo Deny #163: Commit 9314362 pushed by carolynzech
February 6, 2025 16:18 1m 14s missing-version-number
missing-version-number
February 6, 2025 16:18 1m 14s
Merge branch 'main' into optional-harness Cargo Deny #162: Commit db2a71c pushed by carolynzech
February 6, 2025 15:41 1m 36s optional-harness
optional-harness
February 6, 2025 15:41 1m 36s
Improve documentation to make clear that it generates a harness Cargo Deny #161: Commit 9787664 pushed by carolynzech
February 6, 2025 01:20 1m 7s optional-harness
optional-harness
February 6, 2025 01:20 1m 7s
change subcommand name to autoharness Cargo Deny #160: Commit ec674e8 pushed by carolynzech
February 6, 2025 01:00 1m 9s optional-harness
optional-harness
February 6, 2025 01:00 1m 9s
Add @tautschnig to toolchain upgrade Cargo Deny #159: Commit 676909a pushed by carolynzech
February 5, 2025 22:55 1m 13s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 1m 13s
Move floating point change to breaking changes Cargo Deny #158: Commit a82ca9b pushed by carolynzech
February 5, 2025 22:55 1m 9s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 1m 9s
Bump Kani version to 0.59.0 Cargo Deny #157: Commit 931eb81 pushed by carolynzech
February 5, 2025 19:39 1m 43s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 19:39 1m 43s
Add reference for loop contracts (#3849) Cargo Deny #156: Commit 380b1fb pushed by carolynzech
February 5, 2025 03:43 1m 24s main
main
February 5, 2025 03:43 1m 24s
fix formatting & regression failures Cargo Deny #155: Commit bfebfdb pushed by carolynzech
February 4, 2025 20:28 1m 8s optional-harness
optional-harness
February 4, 2025 20:28 1m 8s
fix formatting & cfg(test) failures Cargo Deny #154: Commit f814676 pushed by carolynzech
February 4, 2025 19:14 1m 23s optional-harness
optional-harness
February 4, 2025 19:14 1m 23s
fix formatting check Cargo Deny #153: Commit 8b85bee pushed by carolynzech
February 4, 2025 18:40 1m 17s optional-harness
optional-harness
February 4, 2025 18:40 1m 17s
add chapter to book Cargo Deny #152: Commit eaab5cf pushed by carolynzech
February 4, 2025 18:21 1m 42s optional-harness
optional-harness
February 4, 2025 18:21 1m 42s
don't let --harness affect automatic harnesses Cargo Deny #151: Commit bfeac3b pushed by carolynzech
February 4, 2025 16:32 1m 52s optional-harness
optional-harness
February 4, 2025 16:32 1m 52s
Add option to include or exclude partial function paths Cargo Deny #150: Commit 0aed576 pushed by carolynzech
February 3, 2025 23:08 1m 21s optional-harness
optional-harness
February 3, 2025 23:08 1m 21s
allow for including/excluding fns explicitly & improve summary printing Cargo Deny #149: Commit f48e0dd pushed by carolynzech
February 3, 2025 22:28 1m 40s optional-harness
optional-harness
February 3, 2025 22:28 1m 40s
Fix missing function declaration issue (#3862) Cargo Deny #148: Commit 53013f3 pushed by carolynzech
January 29, 2025 19:55 1m 12s main
main
January 29, 2025 19:55 1m 12s
remove the def kind check Cargo Deny #147: Commit 7ac9161 pushed by carolynzech
January 21, 2025 21:57 1m 40s remove-def-kind-check
remove-def-kind-check
January 21, 2025 21:57 1m 40s
regression test for no_std Cargo Deny #146: Commit 02c81b2 pushed by carolynzech
January 16, 2025 19:12 1m 18s no-std-test
no-std-test
January 16, 2025 19:12 1m 18s