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
303 workflow runs
303 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
Automatic toolchain upgrade to nightly-2025-11-20 (#4483) Kani End-To-End Performance Benchmarks #228: Commit 56a4268 pushed by github-merge-queue Bot
1h 31m 54s main
main
1h 31m 54s
Upgrade Rust toolchain to 2025-11-19 (#4482) Kani End-To-End Performance Benchmarks #227: Commit e388117 pushed by github-merge-queue Bot
1h 34m 51s main
main
1h 34m 51s
Automatic toolchain upgrade to nightly-2025-11-18 (#4478) Kani End-To-End Performance Benchmarks #226: Commit 6fb80aa pushed by github-merge-queue Bot
1h 38m 30s main
main
1h 38m 30s
Upgrade Rust toolchain to 2025-11-16 (#4477) Kani End-To-End Performance Benchmarks #225: Commit f4d4a94 pushed by github-merge-queue Bot
1h 32m 55s main
main
1h 32m 55s
Automatic cargo update to 2025-11-17 (#4476) Kani End-To-End Performance Benchmarks #224: Commit 5c2da86 pushed by github-merge-queue Bot
1h 30m 14s main
main
1h 30m 14s
Upgrade Rust toolchain to 2025-11-13 (#4473) Kani End-To-End Performance Benchmarks #223: Commit 5ead032 pushed by github-merge-queue Bot
1h 29m 41s main
main
1h 29m 41s
Upgrade Rust toolchain to 2025-11-12 (#4469) Kani End-To-End Performance Benchmarks #222: Commit e5f1a80 pushed by github-merge-queue Bot
1h 25m 44s main
main
1h 25m 44s
Arrays with more than 64 elements no longer cause spurious failures (… Kani End-To-End Performance Benchmarks #221: Commit af70d99 pushed by github-merge-queue Bot
1h 16m 49s main
main
1h 16m 49s
Update charon submodule by 15 commits (#4464) Kani End-To-End Performance Benchmarks #220: Commit e135972 pushed by github-merge-queue Bot
1h 33m 14s main
main
1h 33m 14s
NixOS: patch binaries if the dynamic linker is a stub (#4413) Kani End-To-End Performance Benchmarks #219: Commit 76a4adc pushed by github-merge-queue Bot
1h 41m 40s main
main
1h 41m 40s
fix: Make kani attribute nameres work with generic args having :: (… Kani End-To-End Performance Benchmarks #218: Commit 8b99b4d pushed by github-merge-queue Bot
1h 29m 9s main
main
1h 29m 9s
Automatic toolchain upgrade to nightly-2025-11-11 (#4463) Kani End-To-End Performance Benchmarks #217: Commit 77e1d57 pushed by github-merge-queue Bot
1h 29m 22s main
main
1h 29m 22s
Bump tests/perf/s2n-quic from e726f08 to cf77e2b (#4462) Kani End-To-End Performance Benchmarks #216: Commit 33ad273 pushed by github-merge-queue Bot
1h 34m 59s main
main
1h 34m 59s
Upgrade Rust toolchain to 2025-11-10 (#4460) Kani End-To-End Performance Benchmarks #215: Commit a257bf0 pushed by github-merge-queue Bot
1h 26m 19s main
main
1h 26m 19s
Gracefully fail when compiling structs with too large array (#4461) Kani End-To-End Performance Benchmarks #214: Commit 0ceae33 pushed by github-merge-queue Bot
1h 29m 0s main
main
1h 29m 0s
Automatic cargo update to 2025-11-10 (#4459) Kani End-To-End Performance Benchmarks #213: Commit 55a00d2 pushed by github-merge-queue Bot
1h 25m 37s main
main
1h 25m 37s
Automatic toolchain upgrade to nightly-2025-11-09 (#4457) Kani End-To-End Performance Benchmarks #212: Commit 19180a5 pushed by github-merge-queue Bot
1h 29m 53s main
main
1h 29m 53s
Automatic toolchain upgrade to nightly-2025-11-08 (#4456) Kani End-To-End Performance Benchmarks #211: Commit 12204dc pushed by github-merge-queue Bot
1h 27m 4s main
main
1h 27m 4s
Upgrade Rust toolchain to 2025-11-07 (#4454) Kani End-To-End Performance Benchmarks #210: Commit 24bc1fc pushed by github-merge-queue Bot
1h 29m 38s main
main
1h 29m 38s
Upgrade Rust toolchain to 2025-11-06 (#4451) Kani End-To-End Performance Benchmarks #209: Commit ce66203 pushed by github-merge-queue Bot
1h 49m 45s main
main
1h 49m 45s
Bump Kani version (#4449) Kani End-To-End Performance Benchmarks #208: Commit b37b90f pushed by github-merge-queue Bot
1h 29m 12s main
main
1h 29m 12s
Automatic upgrade of CBMC from 6.7.1 to 6.8.0 (#4448) Kani End-To-End Performance Benchmarks #207: Commit d8774ed pushed by github-merge-queue Bot
1h 27m 37s main
main
1h 27m 37s
Major-version update cargo dependencies (#4447) Kani End-To-End Performance Benchmarks #206: Commit 1e39f27 pushed by github-merge-queue Bot
1h 27m 59s main
main
1h 27m 59s
Automatic toolchain upgrade to nightly-2025-11-05 (#4446) Kani End-To-End Performance Benchmarks #205: Commit d80decf pushed by github-merge-queue Bot
1h 24m 47s main
main
1h 24m 47s
Incrementally update charon submodule with LLBC backend adaptations (… Kani End-To-End Performance Benchmarks #204: Commit 4578a6a pushed by github-merge-queue Bot
1h 34m 27s main
main
1h 34m 27s