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
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
Automatic toolchain upgrade to nightly-2025-11-04 (#4444) Kani End-To-End Performance Benchmarks #203: Commit 201661c pushed by github-merge-queue Bot
1h 30m 55s main
main
1h 30m 55s
Switch macos-13 CI jobs to macos-15-intel (#4442) Kani End-To-End Performance Benchmarks #202: Commit 96db36c pushed by github-merge-queue Bot
1h 24m 44s main
main
1h 24m 44s
Bump tests/perf/s2n-quic from 42fe409 to e726f08 (#4443) Kani End-To-End Performance Benchmarks #201: Commit 77d0b79 pushed by github-merge-queue Bot
1h 23m 51s main
main
1h 23m 51s
Upgrade Rust toolchain to 2025-11-03 (#4440) Kani End-To-End Performance Benchmarks #200: Commit 05dbba2 pushed by github-merge-queue Bot
1h 32m 35s main
main
1h 32m 35s
Automatic cargo update to 2025-11-03 (#4441) Kani End-To-End Performance Benchmarks #199: Commit e6d3722 pushed by github-merge-queue Bot
1h 23m 44s main
main
1h 23m 44s
Automatic toolchain upgrade to nightly-2025-10-31 (#4437) Kani End-To-End Performance Benchmarks #198: Commit f918f84 pushed by github-merge-queue Bot
1h 30m 44s main
main
1h 30m 44s
Automatic toolchain upgrade to nightly-2025-10-30 (#4436) Kani End-To-End Performance Benchmarks #197: Commit a161987 pushed by github-merge-queue Bot
1h 26m 33s main
main
1h 26m 33s
Automatic toolchain upgrade to nightly-2025-10-29 (#4435) Kani End-To-End Performance Benchmarks #196: Commit 13f1168 pushed by github-merge-queue Bot
1h 27m 22s main
main
1h 27m 22s
Automatic toolchain upgrade to nightly-2025-10-28 (#4434) Kani End-To-End Performance Benchmarks #195: Commit 5b39bd4 pushed by github-merge-queue Bot
1h 29m 7s main
main
1h 29m 7s
Automatic toolchain upgrade to nightly-2025-10-27 (#4433) Kani End-To-End Performance Benchmarks #194: Commit 12159d8 pushed by github-merge-queue Bot
1h 29m 42s main
main
1h 29m 42s
Automatic toolchain upgrade to nightly-2025-10-26 (#4432) Kani End-To-End Performance Benchmarks #193: Commit 3414a8d pushed by github-merge-queue Bot
1h 26m 22s main
main
1h 26m 22s
Automatic toolchain upgrade to nightly-2025-10-25 (#4431) Kani End-To-End Performance Benchmarks #192: Commit ae340f3 pushed by github-merge-queue Bot
1h 30m 14s main
main
1h 30m 14s
Upgrade Rust toolchain to 2025-10-24 (#4426) Kani End-To-End Performance Benchmarks #191: Commit 9b2abba pushed by github-merge-queue Bot
1h 35m 19s main
main
1h 35m 19s
Bump actions/download-artifact from 5 to 6 (#4430) Kani End-To-End Performance Benchmarks #190: Commit 8ec44d0 pushed by github-merge-queue Bot
1h 30m 12s main
main
1h 30m 12s
Bump tests/perf/s2n-quic from 73c9278 to 42fe409 (#4429) Kani End-To-End Performance Benchmarks #189: Commit 4360f0b pushed by github-merge-queue Bot
1h 26m 38s main
main
1h 26m 38s
Automatic cargo update to 2025-10-27 (#4428) Kani End-To-End Performance Benchmarks #188: Commit d7c5b7f pushed by github-merge-queue Bot
1h 31m 11s main
main
1h 31m 11s
Automatic toolchain upgrade to nightly-2025-10-23 (#4424) Kani End-To-End Performance Benchmarks #187: Commit e0316ff pushed by github-merge-queue Bot
1h 26m 29s main
main
1h 26m 29s
Automatic toolchain upgrade to nightly-2025-10-22 (#4423) Kani End-To-End Performance Benchmarks #186: Commit 22b038d pushed by github-merge-queue Bot
1h 24m 6s main
main
1h 24m 6s
Automatic toolchain upgrade to nightly-2025-10-21 (#4422) Kani End-To-End Performance Benchmarks #185: Commit 9b1c900 pushed by github-merge-queue Bot
1h 29m 54s main
main
1h 29m 54s
Automatic toolchain upgrade to nightly-2025-10-20 (#4421) Kani End-To-End Performance Benchmarks #184: Commit a3b3e0f pushed by github-merge-queue Bot
1h 31m 46s main
main
1h 31m 46s
Automatic toolchain upgrade to nightly-2025-10-19 (#4420) Kani End-To-End Performance Benchmarks #183: Commit bf4a698 pushed by github-merge-queue Bot
1h 25m 4s main
main
1h 25m 4s
Bump tests/perf/s2n-quic from 5240fd6 to 73c9278 (#4419) Kani End-To-End Performance Benchmarks #182: Commit a8711c1 pushed by github-merge-queue Bot
1h 27m 21s main
main
1h 27m 21s
Automatic toolchain upgrade to nightly-2025-10-18 (#4418) Kani End-To-End Performance Benchmarks #181: Commit 3b97b01 pushed by github-merge-queue Bot
1h 26m 38s main
main
1h 26m 38s
Automatic toolchain upgrade to nightly-2025-10-17 (#4416) Kani End-To-End Performance Benchmarks #180: Commit 7cd62b1 pushed by github-merge-queue Bot
1h 26m 10s main
main
1h 26m 10s