Skip to content

Actions: carolynzech/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,535 workflow runs
1,535 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into optional-harness Kani Format Check #189: Commit db2a71c pushed by carolynzech
February 6, 2025 15:41 4m 10s optional-harness
optional-harness
February 6, 2025 15:41 4m 10s
Nightly: CBMC Latest Nightly: CBMC Latest #195: Scheduled
February 6, 2025 09:08 45m 0s main
main
February 6, 2025 09:08 45m 0s
Nightly: Slow tests Nightly: Slow tests #195: Scheduled
February 6, 2025 05:39 8m 7s main
main
February 6, 2025 05:39 8m 7s
Update "features/verify-rust-std" Update "features/verify-rust-std" #195: Scheduled
February 6, 2025 03:39 4m 27s main
main
February 6, 2025 03:39 4m 27s
Attempt toolchain update Attempt toolchain update #195: Scheduled
February 6, 2025 02:59 3m 14s main
main
February 6, 2025 02:59 3m 14s
Improve documentation to make clear that it generates a harness Kani Format Check #188: Commit 9787664 pushed by carolynzech
February 6, 2025 01:20 2m 42s optional-harness
optional-harness
February 6, 2025 01:20 2m 42s
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
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
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
change subcommand name to autoharness Kani Format Check #187: Commit ec674e8 pushed by carolynzech
February 6, 2025 01:00 4m 21s optional-harness
optional-harness
February 6, 2025 01:00 4m 21s
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
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
Add @tautschnig to toolchain upgrade Kani Format Check #186: Commit 676909a pushed by carolynzech
February 5, 2025 22:55 4m 23s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 4m 23s
Move floating point change to breaking changes Kani Format Check #185: Commit a82ca9b pushed by carolynzech
February 5, 2025 22:55 4m 24s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 22:55 4m 24s
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
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 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
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
Bump Kani version to 0.59.0 Kani Format Check #184: Commit 931eb81 pushed by carolynzech
February 5, 2025 19:39 2m 39s release-kani-0.59.0
release-kani-0.59.0
February 5, 2025 19:39 2m 39s
Nightly: CBMC Latest Nightly: CBMC Latest #194: Scheduled
February 5, 2025 09:08 1h 19m 43s main
main
February 5, 2025 09:08 1h 19m 43s
Nightly: Slow tests Nightly: Slow tests #194: Scheduled
February 5, 2025 05:38 7m 24s main
main
February 5, 2025 05:38 7m 24s
Add reference for loop contracts (#3849) Kani Performance Benchmarks #36: Commit 380b1fb pushed by carolynzech
February 5, 2025 03:43 1h 29m 20s main
main
February 5, 2025 03:43 1h 29m 20s
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
Add reference for loop contracts (#3849) Release Bundle #40: Commit 380b1fb pushed by carolynzech
February 5, 2025 03:43 16m 36s main
main
February 5, 2025 03:43 16m 36s