Skip to content

Actions: model-checking/kani

Actions

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Complete CI permissions limiting (#4394)
Kani End-To-End Performance Benchmarks #163: Commit c0afe1b pushed by github-merge-queue Bot
1h 27m 25s main
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
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
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
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
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
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
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
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