Skip to content

Actions: model-checking/kani

Actions

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-e2e.yml
304 workflow runs
304 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Set bits_per_byte in byte_extract expressions (#4255) Kani End-To-End Performance Benchmarks #54: Commit 39d85fc pushed by github-merge-queue Bot
1h 25m 8s main
main
1h 25m 8s
Add unstable option prove-safety-only (#4239) Kani End-To-End Performance Benchmarks #53: Commit 05b6252 pushed by github-merge-queue Bot
1h 28m 1s main
main
1h 28m 1s
Automatic toolchain upgrade to nightly-2025-07-30 (#4253) Kani End-To-End Performance Benchmarks #52: Commit 1954c10 pushed by github-merge-queue Bot
1h 29m 11s main
main
1h 29m 11s
Upgrade Rust toolchain to 2025-07-29 (#4247) Kani End-To-End Performance Benchmarks #51: Commit bd6c8cf pushed by github-merge-queue Bot
1h 32m 28s main
main
1h 32m 28s
Documentation cleanup of UB detected by Kani (#4245) Kani End-To-End Performance Benchmarks #50: Commit 033755f pushed by github-merge-queue Bot
1h 26m 22s main
main
1h 26m 22s
Upgrade Rust toolchain to 2025-07-24 (#4244) Kani End-To-End Performance Benchmarks #49: Commit 313f9b1 pushed by github-merge-queue Bot
1h 30m 24s main
main
1h 30m 24s
Remove pretty_ty and use rustc_public's formatter instead (#4243) Kani End-To-End Performance Benchmarks #48: Commit c164841 pushed by github-merge-queue Bot
1h 28m 1s main
main
1h 28m 1s
Upgrade Rust toolchain to 2025-07-21 (#4241) Kani End-To-End Performance Benchmarks #47: Commit 9707a9c pushed by github-merge-queue Bot
1h 26m 10s main
main
1h 26m 10s
Bump tests/perf/s2n-quic from 1cbd879 to 4938450 (#4242) Kani End-To-End Performance Benchmarks #46: Commit 587bd03 pushed by github-merge-queue Bot
1h 26m 27s main
main
1h 26m 27s
Automatic cargo update to 2025-07-28 (#4238) Kani End-To-End Performance Benchmarks #45: Commit b2180f1 pushed by github-merge-queue Bot
1h 25m 6s main
main
1h 25m 6s
Fix bug: Kani unwinds loops with contract in generic function (with -… Kani End-To-End Performance Benchmarks #44: Commit 4058625 pushed by github-merge-queue Bot
1h 26m 50s main
main
1h 26m 50s
Remove StableMIR ICE workaround (#4235) Kani End-To-End Performance Benchmarks #43: Commit 4c18d03 pushed by github-merge-queue Bot
1h 25m 58s main
main
1h 25m 58s
Strongly type differing compiler args for clarity (#4220) Kani End-To-End Performance Benchmarks #42: Commit 5af25b5 pushed by github-merge-queue Bot
1h 26m 6s main
main
1h 26m 6s
Skip codegen for unneeded harnesses (#4213) Kani End-To-End Performance Benchmarks #41: Commit 210b6c3 pushed by github-merge-queue Bot
1h 29m 45s main
main
1h 29m 45s
Automatic cargo update to 2025-07-21 (#4231) Kani End-To-End Performance Benchmarks #40: Commit c0b5fda pushed by github-merge-queue Bot
1h 27m 41s main
main
1h 27m 41s
Enable GitHub Linux/Arm runners in CI (#3841) Kani End-To-End Performance Benchmarks #39: Commit d49a9ff pushed by github-merge-queue Bot
1h 25m 27s main
main
1h 25m 27s
Automatic toolchain upgrade to nightly-2025-07-14 (#4225) Kani End-To-End Performance Benchmarks #38: Commit f080721 pushed by github-merge-queue Bot
1h 29m 14s main
main
1h 29m 14s
Move tests from slow/kani back to regular suite (#4202) Kani End-To-End Performance Benchmarks #37: Commit c9f3b76 pushed by github-merge-queue Bot
1h 28m 36s main
main
1h 28m 36s
Use CBMC's shuffle_vector expression (#4204) Kani End-To-End Performance Benchmarks #36: Commit 6eaa453 pushed by github-merge-queue Bot
1h 26m 55s main
main
1h 26m 55s
Support bitwuzla, cvc5, z3 as solver attribute values (#4218) Kani End-To-End Performance Benchmarks #35: Commit ab7c438 pushed by github-merge-queue Bot
1h 31m 16s main
main
1h 31m 16s
Do not invoke memset with count of zero (#4205) Kani End-To-End Performance Benchmarks #34: Commit 9ef900f pushed by github-merge-queue Bot
1h 25m 25s main
main
1h 25m 25s
Implement support for Cargo.toml's default-members (#4201) Kani End-To-End Performance Benchmarks #33: Commit 3d5d867 pushed by github-merge-queue Bot
1h 33m 57s main
main
1h 33m 57s
Bump tests/perf/s2n-quic from 32ba87d to 1cbd879 (#4227) Kani End-To-End Performance Benchmarks #32: Commit 192911d pushed by github-merge-queue Bot
1h 27m 53s main
main
1h 27m 53s
Selectively enable and fix (slow) Tokio tests (#4203) Kani End-To-End Performance Benchmarks #31: Commit e12fa5a pushed by github-merge-queue Bot
1h 29m 43s main
main
1h 29m 43s
Cleanup links to issues that have been addressed (#4200) Kani End-To-End Performance Benchmarks #30: Commit b6c4a15 pushed by github-merge-queue Bot
1h 25m 15s main
main
1h 25m 15s
ProTip! You can narrow down the results and go further in time using created:<2025-07-14 or the other filters available.