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-25 (#4518) Kani End-To-End Performance Benchmarks #253: Commit d4df833 pushed by github-merge-queue Bot
1h 36m 4s main
main
1h 36m 4s
Automatic toolchain upgrade to nightly-2025-11-24 (#4517) Kani End-To-End Performance Benchmarks #252: Commit 5ce2300 pushed by github-merge-queue Bot
1h 31m 3s main
main
1h 31m 3s
Automatic toolchain upgrade to nightly-2025-11-23 (#4515) Kani End-To-End Performance Benchmarks #251: Commit 2e10950 pushed by github-merge-queue Bot
1h 26m 45s main
main
1h 26m 45s
Automatic toolchain upgrade to nightly-2025-11-22 (#4514) Kani End-To-End Performance Benchmarks #250: Commit 782bdfd pushed by github-merge-queue Bot
1h 32m 42s main
main
1h 32m 42s
Bump Kani version (#4511) Kani End-To-End Performance Benchmarks #249: Commit 4feaaad pushed by github-merge-queue Bot
1h 32m 33s main
main
1h 32m 33s
Upgrade Rust toolchain to 2025-11-21 (#4486) Kani End-To-End Performance Benchmarks #248: Commit decd2c1 pushed by github-merge-queue Bot
1h 36m 45s main
main
1h 36m 45s
Bump tests/perf/s2n-quic from dce0a3c to 058783f (#4510) Kani End-To-End Performance Benchmarks #247: Commit fa5fffd pushed by github-merge-queue Bot
1h 34m 6s main
main
1h 34m 6s
Automatic cargo update to 2026-01-12 (#4509) Kani End-To-End Performance Benchmarks #246: Commit ec5b8ab pushed by github-merge-queue Bot
1h 42m 47s main
main
1h 42m 47s
Add a section with recommended setup for Rust Analyzer (#4504) Kani End-To-End Performance Benchmarks #245: Commit 7ab86a3 pushed by github-merge-queue Bot
1h 35m 18s main
main
1h 35m 18s
Automatic cargo update to 2026-01-05 (#4508) Kani End-To-End Performance Benchmarks #244: Commit ae301b2 pushed by github-merge-queue Bot
1h 36m 53s main
main
1h 36m 53s
Automatic cargo update to 2025-12-29 (#4505) Kani End-To-End Performance Benchmarks #243: Commit b359fea pushed by github-merge-queue Bot
1h 32m 32s main
main
1h 32m 32s
Bump tests/perf/s2n-quic from 112439c to dce0a3c (#4506) Kani End-To-End Performance Benchmarks #242: Commit dc5b7db pushed by github-merge-queue Bot
1h 34m 58s main
main
1h 34m 58s
Automatic cargo update to 2025-12-22 (#4501) Kani End-To-End Performance Benchmarks #241: Commit 054780c pushed by github-merge-queue Bot
1h 31m 46s main
main
1h 31m 46s
Bump tests/perf/s2n-quic from 8445d10 to 112439c (#4502) Kani End-To-End Performance Benchmarks #240: Commit 6b48392 pushed by github-merge-queue Bot
1h 35m 16s main
main
1h 35m 16s
Bump mdbook version (#4503) Kani End-To-End Performance Benchmarks #239: Commit cb96014 pushed by github-merge-queue Bot
1h 31m 1s main
main
1h 31m 1s
Bump peter-evans/create-pull-request from 7 to 8 (#4498) Kani End-To-End Performance Benchmarks #238: Commit 7b2f859 pushed by github-merge-queue Bot
1h 34m 30s main
main
1h 34m 30s
Automatic cargo update to 2025-12-15 (#4497) Kani End-To-End Performance Benchmarks #237: Commit 9209146 pushed by github-merge-queue Bot
1h 35m 8s main
main
1h 35m 8s
docs: Correct default-unwind Cargo.toml examples (#4496) Kani End-To-End Performance Benchmarks #236: Commit 21f3a28 pushed by github-merge-queue Bot
1h 36m 35s main
main
1h 36m 35s
Bump tests/perf/s2n-quic from 77f104c to 1ac1364 (#4494) Kani End-To-End Performance Benchmarks #235: Commit 6b4637f pushed by github-merge-queue Bot
1h 41m 25s main
main
1h 41m 25s
Automatic cargo update to 2025-12-08 (#4493) Kani End-To-End Performance Benchmarks #234: Commit ee430a4 pushed by github-merge-queue Bot
1h 37m 29s main
main
1h 37m 29s
Bump tests/perf/s2n-quic from 25d7f4e to 77f104c (#4492) Kani End-To-End Performance Benchmarks #233: Commit 727135d pushed by github-merge-queue Bot
1h 32m 49s main
main
1h 32m 49s
Automatic cargo update to 2025-12-01 (#4491) Kani End-To-End Performance Benchmarks #232: Commit 11ff4db pushed by github-merge-queue Bot
1h 38m 45s main
main
1h 38m 45s
Bump actions/checkout from 5 to 6 (#4488) Kani End-To-End Performance Benchmarks #231: Commit fdc3c7d pushed by github-merge-queue Bot
1h 37m 57s main
main
1h 37m 57s
Bump tests/perf/s2n-quic from cf77e2b to 25d7f4e (#4489) Kani End-To-End Performance Benchmarks #230: Commit 2e0c9dd pushed by github-merge-queue Bot
1h 31m 53s main
main
1h 31m 53s
Automatic cargo update to 2025-11-24 (#4487) Kani End-To-End Performance Benchmarks #229: Commit 6325427 pushed by github-merge-queue Bot
1h 25m 43s main
main
1h 25m 43s