Skip to content

Actions: karkhaz/kani

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New section about linter configuraton checking in the doc. (#3198) Kani Performance Benchmarks #6: Commit 5dc5e0b pushed by karkhaz
May 29, 2024 13:59 56m 28s main
main
May 29, 2024 13:59 56m 28s
Show only relevant benchmarks in CI summary Kani Performance Benchmarks #5: Commit 186a13e pushed by karkhaz
March 27, 2024 20:17 1h 11m 19s kk-no-show-empty
kk-no-show-empty
March 27, 2024 20:17 1h 11m 19s
Add CI test for --use-local-toolchain (#3074) Kani Performance Benchmarks #4: Commit 1c3d0f3 pushed by karkhaz
March 27, 2024 20:09 1h 5m 30s main
main
March 27, 2024 20:09 1h 5m 30s
Add benchcomp filter command (#3105) Kani Performance Benchmarks #3: Commit 506bfc4 pushed by karkhaz
March 26, 2024 18:30 1h 6m 50s main
main
March 26, 2024 18:30 1h 6m 50s
Automatic cargo update to 2024-03-25 (#3103) Kani Performance Benchmarks #2: Commit 6253ae7 pushed by karkhaz
March 25, 2024 17:07 1h 10m 32s main
main
March 25, 2024 17:07 1h 10m 32s
Upgrade Rust toolchain to nightly-2024-03-01 (#3052) Kani Performance Benchmarks #1: Commit 12768f2 pushed by karkhaz
March 11, 2024 21:38 6h 2m 49s main
main
March 11, 2024 21:38 6h 2m 49s