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
Automatic toolchain upgrade to nightly-2025-08-26 (#4317) Kani End-To-End Performance Benchmarks #104: Commit 1f6d355 pushed by github-merge-queue Bot
1h 31m 58s main
main
1h 31m 58s
Automatic cargo update to 2025-08-25 (#4315) Kani End-To-End Performance Benchmarks #103: Commit e9a7825 pushed by github-merge-queue Bot
1h 23m 45s main
main
1h 23m 45s
Update toolchain to 08-25-2025 (#4316) Kani End-To-End Performance Benchmarks #102: Commit dbc55a2 pushed by github-merge-queue Bot
1h 24m 19s main
main
1h 24m 19s
RFC: Partitioned proofs (#4228) Kani End-To-End Performance Benchmarks #101: Commit 8b8b897 pushed by github-merge-queue Bot
1h 27m 50s main
main
1h 27m 50s
Add loop-contracts support for for loop (#4143) Kani End-To-End Performance Benchmarks #100: Commit a7d917d pushed by github-merge-queue Bot
1h 29m 58s main
main
1h 29m 58s
Share body cache between harnesses within a codegen unit (#4276) Kani End-To-End Performance Benchmarks #99: Commit c29b906 pushed by github-merge-queue Bot
1h 29m 11s main
main
1h 29m 11s
Automatic toolchain upgrade to nightly-2025-08-20 (#4309) Kani End-To-End Performance Benchmarks #98: Commit 2b05737 pushed by github-merge-queue Bot
1h 26m 26s main
main
1h 26m 26s
Bump tests/perf/s2n-quic from c64faf9 to ff81604 (#4306) Kani End-To-End Performance Benchmarks #97: Commit f27222d pushed by github-merge-queue Bot
1h 32m 49s main
main
1h 32m 49s
Automatic toolchain upgrade to nightly-2025-08-19 (#4307) Kani End-To-End Performance Benchmarks #96: Commit b95b56b pushed by github-merge-queue Bot
1h 30m 44s main
main
1h 30m 44s
Upgrade Rust toolchain to 2025-08-18 (#4304) Kani End-To-End Performance Benchmarks #95: Commit 81d045b pushed by github-merge-queue Bot
1h 32m 27s main
main
1h 32m 27s
Automatic cargo update to 2025-08-18 (#4302) Kani End-To-End Performance Benchmarks #94: Commit 6eb311d pushed by github-merge-queue Bot
1h 27m 25s main
main
1h 27m 25s
Automatic toolchain upgrade to nightly-2025-08-16 (#4300) Kani End-To-End Performance Benchmarks #93: Commit 822948a pushed by github-merge-queue Bot
1h 32m 39s main
main
1h 32m 39s
Automatic toolchain upgrade to nightly-2025-08-15 (#4299) Kani End-To-End Performance Benchmarks #92: Commit 75ce191 pushed by github-merge-queue Bot
1h 24m 41s main
main
1h 24m 41s
Automatic toolchain upgrade to nightly-2025-08-14 (#4298) Kani End-To-End Performance Benchmarks #91: Commit 9a0270d pushed by github-merge-queue Bot
1h 32m 56s main
main
1h 32m 56s
Kani Book Documentation Improvements (#4296) Kani End-To-End Performance Benchmarks #90: Commit 3f19734 pushed by github-merge-queue Bot
1h 25m 46s main
main
1h 25m 46s
[Breaking Change] Fail if stub verified doesn't have a contract harne… Kani End-To-End Performance Benchmarks #89: Commit 5eeb7cf pushed by github-merge-queue Bot
1h 21m 51s main
main
1h 21m 51s
Automatic toolchain upgrade to nightly-2025-08-13 (#4297) Kani End-To-End Performance Benchmarks #88: Commit 4da74f9 pushed by github-merge-queue Bot
1h 25m 48s main
main
1h 25m 48s
Update README (#4291) Kani End-To-End Performance Benchmarks #87: Commit f429190 pushed by github-merge-queue Bot
1h 30m 37s main
main
1h 30m 37s
Automatic toolchain upgrade to nightly-2025-08-12 (#4292) Kani End-To-End Performance Benchmarks #86: Commit 100857e pushed by github-merge-queue Bot
1h 27m 4s main
main
1h 27m 4s
Automatic toolchain upgrade to nightly-2025-08-11 (#4290) Kani End-To-End Performance Benchmarks #85: Commit 2839ccf pushed by github-merge-queue Bot
1h 22m 11s main
main
1h 22m 11s
Upgrade toolchain to 2025-08-10 (#4289) Kani End-To-End Performance Benchmarks #84: Commit fff9316 pushed by github-merge-queue Bot
1h 23m 57s main
main
1h 23m 57s
Bump actions/download-artifact from 4 to 5 (#4287) Kani End-To-End Performance Benchmarks #83: Commit ef1fdb1 pushed by github-merge-queue Bot
1h 30m 34s main
main
1h 30m 34s
Bump actions/checkout from 4 to 5 (#4286) Kani End-To-End Performance Benchmarks #82: Commit 3c219f1 pushed by github-merge-queue Bot
1h 22m 0s main
main
1h 22m 0s
Bump tests/perf/s2n-quic from 8f510f0 to c64faf9 (#4288) Kani End-To-End Performance Benchmarks #81: Commit 41849d2 pushed by github-merge-queue Bot
1h 27m 38s main
main
1h 27m 38s
Automatic cargo update to 2025-08-11 (#4285) Kani End-To-End Performance Benchmarks #80: Commit d70c8ad pushed by github-merge-queue Bot
1h 25m 3s main
main
1h 25m 3s