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
262 workflow runs
262 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-08-02 (#4264) Kani End-To-End Performance Benchmarks #62: Commit 2b29190 pushed by github-merge-queue bot
1h 24m 8s main
main
1h 24m 8s
Turn off debug assertions under --prove-safety-only (#4262) Kani End-To-End Performance Benchmarks #61: Commit 53a7a3b pushed by github-merge-queue bot
1h 33m 46s main
main
1h 33m 46s
Autoharness: add support for references (#4234) Kani End-To-End Performance Benchmarks #60: Commit 7236f72 pushed by github-merge-queue bot
1h 27m 34s main
main
1h 27m 34s
Upgrade Rust toolchain to 2025-08-01 (#4261) Kani End-To-End Performance Benchmarks #59: Commit e020ed4 pushed by github-merge-queue bot
1h 26m 48s main
main
1h 26m 48s
[Breaking Changes] Remove unstable list feature and default memory ch… Kani End-To-End Performance Benchmarks #58: Commit bffcd3f pushed by github-merge-queue bot
1h 22m 40s main
main
1h 22m 40s
Support contracts & stubs in trait implementations (partial fix) (#4250) Kani End-To-End Performance Benchmarks #57: Commit 22139f0 pushed by github-merge-queue bot
1h 40m 1s main
main
1h 40m 1s
Automatic toolchain upgrade to nightly-2025-07-31 (#4256) Kani End-To-End Performance Benchmarks #56: Commit f76e668 pushed by github-merge-queue bot
1h 24m 56s main
main
1h 24m 56s
KaniAttributes Path Resolution Refactor (#4249) Kani End-To-End Performance Benchmarks #55: Commit 9ab78c2 pushed by github-merge-queue bot
1h 28m 42s main
main
1h 28m 42s
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