Skip to content

Actions: carolynzech/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
214 workflow runs
214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into optional-harness Kani CI #189: Commit db2a71c pushed by carolynzech
February 6, 2025 15:41 50m 13s optional-harness
optional-harness
February 6, 2025 15:41 50m 13s
Improve documentation to make clear that it generates a harness Kani CI #188: Commit 9787664 pushed by carolynzech
February 6, 2025 01:20 1h 0m 23s optional-harness
optional-harness
February 6, 2025 01:20 1h 0m 23s
change subcommand name to autoharness Kani CI #187: Commit ec674e8 pushed by carolynzech
February 6, 2025 01:00 49m 2s optional-harness
optional-harness
February 6, 2025 01:00 49m 2s
Add @tautschnig to toolchain upgrade Kani CI #186: Commit 676909a pushed by carolynzech
February 5, 2025 22:55 55m 45s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 55m 45s
Move floating point change to breaking changes Kani CI #185: Commit a82ca9b pushed by carolynzech
February 5, 2025 22:55 58m 58s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 58m 58s
Bump Kani version to 0.59.0 Kani CI #184: Commit 931eb81 pushed by carolynzech
February 5, 2025 19:39 1h 0m 54s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 19:39 1h 0m 54s
Add reference for loop contracts (#3849) Kani CI #183: Commit 380b1fb pushed by carolynzech
February 5, 2025 03:43 56m 41s main
main
February 5, 2025 03:43 56m 41s
fix formatting & regression failures Kani CI #182: Commit bfebfdb pushed by carolynzech
February 4, 2025 20:28 57m 21s optional-harness
optional-harness
February 4, 2025 20:28 57m 21s
fix formatting & cfg(test) failures Kani CI #181: Commit f814676 pushed by carolynzech
February 4, 2025 19:14 45m 25s optional-harness
optional-harness
February 4, 2025 19:14 45m 25s
fix formatting check Kani CI #180: Commit 8b85bee pushed by carolynzech
February 4, 2025 18:40 48m 0s optional-harness
optional-harness
February 4, 2025 18:40 48m 0s
add chapter to book Kani CI #179: Commit eaab5cf pushed by carolynzech
February 4, 2025 18:21 44m 20s optional-harness
optional-harness
February 4, 2025 18:21 44m 20s
don't let --harness affect automatic harnesses Kani CI #178: Commit bfeac3b pushed by carolynzech
February 4, 2025 16:32 44m 5s optional-harness
optional-harness
February 4, 2025 16:32 44m 5s
Add option to include or exclude partial function paths Kani CI #177: Commit 0aed576 pushed by carolynzech
February 3, 2025 23:08 44m 48s optional-harness
optional-harness
February 3, 2025 23:08 44m 48s
allow for including/excluding fns explicitly & improve summary printing Kani CI #176: Commit f48e0dd pushed by carolynzech
February 3, 2025 22:28 44m 52s optional-harness
optional-harness
February 3, 2025 22:28 44m 52s
Fix missing function declaration issue (#3862) Kani CI #175: Commit 53013f3 pushed by carolynzech
January 29, 2025 19:55 58m 2s main
main
January 29, 2025 19:55 58m 2s
remove the def kind check Kani CI #174: Commit 7ac9161 pushed by carolynzech
January 21, 2025 21:57 58m 45s remove-def-kind-check
remove-def-kind-check
January 21, 2025 21:57 58m 45s
regression test for no_std Kani CI #173: Commit 02c81b2 pushed by carolynzech
January 16, 2025 19:12 48m 35s no-std-test
no-std-test
January 16, 2025 19:12 48m 35s
Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani CI #172: Commit 72637ee pushed by carolynzech
January 16, 2025 14:52 1h 8m 8s main
main
January 16, 2025 14:52 1h 8m 8s
fix expected file name Kani CI #171: Commit d79e6cb pushed by carolynzech
January 14, 2025 14:40 50m 28s issue-3773
issue-3773
January 14, 2025 14:40 50m 28s
Verify contracts on methods where the base type has multiple inherent… Kani CI #170: Commit 62b66de pushed by carolynzech
January 13, 2025 21:14 50m 28s issue-3773
issue-3773
January 13, 2025 21:14 50m 28s
add quotes around alpha instead Kani CI #169: Commit 67323a8 pushed by carolynzech
January 9, 2025 18:10 1h 4m 55s std-analysis-tweaks
std-analysis-tweaks
January 9, 2025 18:10 1h 4m 55s
break up tr commands with temp file Kani CI #168: Commit cdadad2 pushed by carolynzech
January 9, 2025 16:19 57m 44s std-analysis-tweaks
std-analysis-tweaks
January 9, 2025 16:19 57m 44s
Merge branch 'main' into contracts-as-assertions Kani CI #167: Commit 0a5e808 pushed by carolynzech
January 8, 2025 21:39 1h 3m 44s contracts-as-assertions
contracts-as-assertions
January 8, 2025 21:39 1h 3m 44s
clap nits Kani CI #166: Commit 8baf862 pushed by carolynzech
January 7, 2025 16:57 1h 3m 54s contracts-as-assertions
contracts-as-assertions
January 7, 2025 16:57 1h 3m 54s
add simple precedence test Kani CI #165: Commit 87288f1 pushed by carolynzech
January 7, 2025 16:51 1h 3m 5s contracts-as-assertions
contracts-as-assertions
January 7, 2025 16:51 1h 3m 5s