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-10-16 (#4415) Kani End-To-End Performance Benchmarks #179: Commit 13d4ad7 pushed by github-merge-queue Bot
1h 27m 12s main
main
1h 27m 12s
Automatic toolchain upgrade to nightly-2025-10-15 (#4414) Kani End-To-End Performance Benchmarks #178: Commit e9c28d8 pushed by github-merge-queue Bot
1h 26m 36s main
main
1h 26m 36s
Automatic toolchain upgrade to nightly-2025-10-14 (#4412) Kani End-To-End Performance Benchmarks #177: Commit 5ef1503 pushed by github-merge-queue Bot
1h 21m 55s main
main
1h 21m 55s
Automatic toolchain upgrade to nightly-2025-10-13 (#4411) Kani End-To-End Performance Benchmarks #176: Commit d463896 pushed by github-merge-queue Bot
1h 42m 40s main
main
1h 42m 40s
Bump tests/perf/s2n-quic from 995f37b to 5240fd6 (#4410) Kani End-To-End Performance Benchmarks #175: Commit df0ce55 pushed by github-merge-queue Bot
1h 30m 10s main
main
1h 30m 10s
Upgrade Rust toolchain to 2025-10-12 (#4407) Kani End-To-End Performance Benchmarks #174: Commit 737a062 pushed by github-merge-queue Bot
1h 26m 4s main
main
1h 26m 4s
Bump tests/perf/s2n-quic from 1cca93b to 995f37b (#4400) Kani End-To-End Performance Benchmarks #173: Commit 49ee77a pushed by github-merge-queue Bot
1h 30m 35s main
main
1h 30m 35s
Automatic toolchain upgrade to nightly-2025-10-11 (#4405) Kani End-To-End Performance Benchmarks #172: Commit f551d7b pushed by github-merge-queue Bot
1h 32m 5s main
main
1h 32m 5s
Automatic toolchain upgrade to nightly-2025-10-10 (#4404) Kani End-To-End Performance Benchmarks #171: Commit 1ff3765 pushed by github-merge-queue Bot
1h 24m 52s main
main
1h 24m 52s
Automatic toolchain upgrade to nightly-2025-10-09 (#4403) Kani End-To-End Performance Benchmarks #170: Commit 415ca50 pushed by github-merge-queue Bot
1h 30m 6s main
main
1h 30m 6s
Automatic toolchain upgrade to nightly-2025-10-08 (#4402) Kani End-To-End Performance Benchmarks #169: Commit c7abc0d pushed by github-merge-queue Bot
1h 29m 25s main
main
1h 29m 25s
Automatic toolchain upgrade to nightly-2025-10-07 (#4401) Kani End-To-End Performance Benchmarks #168: Commit 744d1cb pushed by github-merge-queue Bot
1h 27m 37s main
main
1h 27m 37s
Automatic toolchain upgrade to nightly-2025-10-06 (#4397) Kani End-To-End Performance Benchmarks #167: Commit 9a91c3a pushed by github-merge-queue Bot
1h 26m 29s main
main
1h 26m 29s
Automatic cargo update to 2025-10-06 (#4398) Kani End-To-End Performance Benchmarks #166: Commit d8e9504 pushed by github-merge-queue Bot
1h 28m 15s main
main
1h 28m 15s
Automatic toolchain upgrade to nightly-2025-10-05 (#4396) Kani End-To-End Performance Benchmarks #165: Commit b479bdc pushed by github-merge-queue Bot
1h 26m 4s main
main
1h 26m 4s
Automatic toolchain upgrade to nightly-2025-10-04 (#4395) Kani End-To-End Performance Benchmarks #164: Commit 6a32252 pushed by github-merge-queue Bot
1h 30m 51s main
main
1h 30m 51s
Complete CI permissions limiting (#4394) Kani End-To-End Performance Benchmarks #163: Commit c0afe1b pushed by github-merge-queue Bot
1h 27m 25s main
main
1h 27m 25s
Upgrade Rust toolchain to 2025-10-03 (#4393) Kani End-To-End Performance Benchmarks #162: Commit c301120 pushed by github-merge-queue Bot
1h 28m 20s main
main
1h 28m 20s
Automatic toolchain upgrade to nightly-2025-10-02 (#4391) Kani End-To-End Performance Benchmarks #161: Commit ac33225 pushed by github-merge-queue Bot
1h 26m 59s main
main
1h 26m 59s
Automatic toolchain upgrade to nightly-2025-10-01 (#4389) Kani End-To-End Performance Benchmarks #160: Commit eafa226 pushed by github-merge-queue Bot
1h 29m 4s main
main
1h 29m 4s
Upgrade Rust toolchain to 2025-09-30 (#4388) Kani End-To-End Performance Benchmarks #159: Commit 4b4a653 pushed by github-merge-queue Bot
1h 27m 20s main
main
1h 27m 20s
Bump tests/perf/s2n-quic from b131854 to 1cca93b (#4386) Kani End-To-End Performance Benchmarks #158: Commit 8942fc8 pushed by github-merge-queue Bot
1h 31m 5s main
main
1h 31m 5s
Automatic cargo update to 2025-09-29 (#4385) Kani End-To-End Performance Benchmarks #157: Commit 188e837 pushed by github-merge-queue Bot
1h 25m 10s main
main
1h 25m 10s
Automatic toolchain upgrade to nightly-2025-09-28 (#4383) Kani End-To-End Performance Benchmarks #156: Commit 34978b1 pushed by github-merge-queue Bot
1h 30m 11s main
main
1h 30m 11s
Automatic toolchain upgrade to nightly-2025-09-27 (#4382) Kani End-To-End Performance Benchmarks #155: Commit 1f71294 pushed by github-merge-queue Bot
1h 34m 11s main
main
1h 34m 11s