Skip to content

Actions: model-checking/kani

Actions

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
303 workflow runs
303 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-11-20 (#4483)
Kani End-To-End Performance Benchmarks #228: Commit 56a4268 pushed by github-merge-queue Bot
1h 31m 54s main
Upgrade Rust toolchain to 2025-11-19 (#4482)
Kani End-To-End Performance Benchmarks #227: Commit e388117 pushed by github-merge-queue Bot
1h 34m 51s main
Automatic toolchain upgrade to nightly-2025-11-18 (#4478)
Kani End-To-End Performance Benchmarks #226: Commit 6fb80aa pushed by github-merge-queue Bot
1h 38m 30s main
Upgrade Rust toolchain to 2025-11-16 (#4477)
Kani End-To-End Performance Benchmarks #225: Commit f4d4a94 pushed by github-merge-queue Bot
1h 32m 55s main
Automatic cargo update to 2025-11-17 (#4476)
Kani End-To-End Performance Benchmarks #224: Commit 5c2da86 pushed by github-merge-queue Bot
1h 30m 14s main
Upgrade Rust toolchain to 2025-11-13 (#4473)
Kani End-To-End Performance Benchmarks #223: Commit 5ead032 pushed by github-merge-queue Bot
1h 29m 41s main
Upgrade Rust toolchain to 2025-11-12 (#4469)
Kani End-To-End Performance Benchmarks #222: Commit e5f1a80 pushed by github-merge-queue Bot
1h 25m 44s main
Arrays with more than 64 elements no longer cause spurious failures (…
Kani End-To-End Performance Benchmarks #221: Commit af70d99 pushed by github-merge-queue Bot
1h 16m 49s main
Update charon submodule by 15 commits (#4464)
Kani End-To-End Performance Benchmarks #220: Commit e135972 pushed by github-merge-queue Bot
1h 33m 14s main
NixOS: patch binaries if the dynamic linker is a stub (#4413)
Kani End-To-End Performance Benchmarks #219: Commit 76a4adc pushed by github-merge-queue Bot
1h 41m 40s main
fix: Make kani attribute nameres work with generic args having :: (…
Kani End-To-End Performance Benchmarks #218: Commit 8b99b4d pushed by github-merge-queue Bot
1h 29m 9s main
Automatic toolchain upgrade to nightly-2025-11-11 (#4463)
Kani End-To-End Performance Benchmarks #217: Commit 77e1d57 pushed by github-merge-queue Bot
1h 29m 22s main
Bump tests/perf/s2n-quic from e726f08 to cf77e2b (#4462)
Kani End-To-End Performance Benchmarks #216: Commit 33ad273 pushed by github-merge-queue Bot
1h 34m 59s main
Upgrade Rust toolchain to 2025-11-10 (#4460)
Kani End-To-End Performance Benchmarks #215: Commit a257bf0 pushed by github-merge-queue Bot
1h 26m 19s main
Gracefully fail when compiling structs with too large array (#4461)
Kani End-To-End Performance Benchmarks #214: Commit 0ceae33 pushed by github-merge-queue Bot
1h 29m 0s main
Automatic cargo update to 2025-11-10 (#4459)
Kani End-To-End Performance Benchmarks #213: Commit 55a00d2 pushed by github-merge-queue Bot
1h 25m 37s main
Automatic toolchain upgrade to nightly-2025-11-09 (#4457)
Kani End-To-End Performance Benchmarks #212: Commit 19180a5 pushed by github-merge-queue Bot
1h 29m 53s main
Automatic toolchain upgrade to nightly-2025-11-08 (#4456)
Kani End-To-End Performance Benchmarks #211: Commit 12204dc pushed by github-merge-queue Bot
1h 27m 4s main
Upgrade Rust toolchain to 2025-11-07 (#4454)
Kani End-To-End Performance Benchmarks #210: Commit 24bc1fc pushed by github-merge-queue Bot
1h 29m 38s main
Upgrade Rust toolchain to 2025-11-06 (#4451)
Kani End-To-End Performance Benchmarks #209: Commit ce66203 pushed by github-merge-queue Bot
1h 49m 45s main
Bump Kani version (#4449)
Kani End-To-End Performance Benchmarks #208: Commit b37b90f pushed by github-merge-queue Bot
1h 29m 12s main
Automatic upgrade of CBMC from 6.7.1 to 6.8.0 (#4448)
Kani End-To-End Performance Benchmarks #207: Commit d8774ed pushed by github-merge-queue Bot
1h 27m 37s main
Major-version update cargo dependencies (#4447)
Kani End-To-End Performance Benchmarks #206: Commit 1e39f27 pushed by github-merge-queue Bot
1h 27m 59s main
Automatic toolchain upgrade to nightly-2025-11-05 (#4446)
Kani End-To-End Performance Benchmarks #205: Commit d80decf pushed by github-merge-queue Bot
1h 24m 47s main
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