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

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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