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-08-26 (#4317)
Kani End-To-End Performance Benchmarks #104: Commit 1f6d355 pushed by github-merge-queue Bot
1h 31m 58s main
Automatic cargo update to 2025-08-25 (#4315)
Kani End-To-End Performance Benchmarks #103: Commit e9a7825 pushed by github-merge-queue Bot
1h 23m 45s main
Update toolchain to 08-25-2025 (#4316)
Kani End-To-End Performance Benchmarks #102: Commit dbc55a2 pushed by github-merge-queue Bot
1h 24m 19s main
RFC: Partitioned proofs (#4228)
Kani End-To-End Performance Benchmarks #101: Commit 8b8b897 pushed by github-merge-queue Bot
1h 27m 50s main
Add loop-contracts support for for loop (#4143)
Kani End-To-End Performance Benchmarks #100: Commit a7d917d pushed by github-merge-queue Bot
1h 29m 58s main
Share body cache between harnesses within a codegen unit (#4276)
Kani End-To-End Performance Benchmarks #99: Commit c29b906 pushed by github-merge-queue Bot
1h 29m 11s main
Automatic toolchain upgrade to nightly-2025-08-20 (#4309)
Kani End-To-End Performance Benchmarks #98: Commit 2b05737 pushed by github-merge-queue Bot
1h 26m 26s main
Bump tests/perf/s2n-quic from c64faf9 to ff81604 (#4306)
Kani End-To-End Performance Benchmarks #97: Commit f27222d pushed by github-merge-queue Bot
1h 32m 49s main
Automatic toolchain upgrade to nightly-2025-08-19 (#4307)
Kani End-To-End Performance Benchmarks #96: Commit b95b56b pushed by github-merge-queue Bot
1h 30m 44s main
Upgrade Rust toolchain to 2025-08-18 (#4304)
Kani End-To-End Performance Benchmarks #95: Commit 81d045b pushed by github-merge-queue Bot
1h 32m 27s main
Automatic cargo update to 2025-08-18 (#4302)
Kani End-To-End Performance Benchmarks #94: Commit 6eb311d pushed by github-merge-queue Bot
1h 27m 25s main
Automatic toolchain upgrade to nightly-2025-08-16 (#4300)
Kani End-To-End Performance Benchmarks #93: Commit 822948a pushed by github-merge-queue Bot
1h 32m 39s main
Automatic toolchain upgrade to nightly-2025-08-15 (#4299)
Kani End-To-End Performance Benchmarks #92: Commit 75ce191 pushed by github-merge-queue Bot
1h 24m 41s main
Automatic toolchain upgrade to nightly-2025-08-14 (#4298)
Kani End-To-End Performance Benchmarks #91: Commit 9a0270d pushed by github-merge-queue Bot
1h 32m 56s main
Kani Book Documentation Improvements (#4296)
Kani End-To-End Performance Benchmarks #90: Commit 3f19734 pushed by github-merge-queue Bot
1h 25m 46s main
[Breaking Change] Fail if stub verified doesn't have a contract harne…
Kani End-To-End Performance Benchmarks #89: Commit 5eeb7cf pushed by github-merge-queue Bot
1h 21m 51s main
Automatic toolchain upgrade to nightly-2025-08-13 (#4297)
Kani End-To-End Performance Benchmarks #88: Commit 4da74f9 pushed by github-merge-queue Bot
1h 25m 48s main
Update README (#4291)
Kani End-To-End Performance Benchmarks #87: Commit f429190 pushed by github-merge-queue Bot
1h 30m 37s main
Automatic toolchain upgrade to nightly-2025-08-12 (#4292)
Kani End-To-End Performance Benchmarks #86: Commit 100857e pushed by github-merge-queue Bot
1h 27m 4s main
Automatic toolchain upgrade to nightly-2025-08-11 (#4290)
Kani End-To-End Performance Benchmarks #85: Commit 2839ccf pushed by github-merge-queue Bot
1h 22m 11s main
Upgrade toolchain to 2025-08-10 (#4289)
Kani End-To-End Performance Benchmarks #84: Commit fff9316 pushed by github-merge-queue Bot
1h 23m 57s main
Bump actions/download-artifact from 4 to 5 (#4287)
Kani End-To-End Performance Benchmarks #83: Commit ef1fdb1 pushed by github-merge-queue Bot
1h 30m 34s main
Bump actions/checkout from 4 to 5 (#4286)
Kani End-To-End Performance Benchmarks #82: Commit 3c219f1 pushed by github-merge-queue Bot
1h 22m 0s main
Bump tests/perf/s2n-quic from 8f510f0 to c64faf9 (#4288)
Kani End-To-End Performance Benchmarks #81: Commit 41849d2 pushed by github-merge-queue Bot
1h 27m 38s main
Automatic cargo update to 2025-08-11 (#4285)
Kani End-To-End Performance Benchmarks #80: Commit d70c8ad pushed by github-merge-queue Bot
1h 25m 3s main