Kani Compiler Performance Benchmarks · Workflow runs · tautschnig/kani · GitHub

Actions

All workflows
Workflows
- Cargo Deny Cargo Deny
- Check Std Verification Check Std Verification
- Kani CI Kani CI
- Kani Compiler Performance Benchmarks Kani Compiler Performance Benchmarks
- Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks
- Kani Extra Kani Extra
- Kani Format Check Kani Format Check
- Release Bundle Release Bundle
- Attempt cargo update Attempt cargo update Disabled
- Attempt CBMC update Attempt CBMC update Disabled
Management
- Caches

Kani Compiler Performance Benchmarks

Actions

Loading...
Loading

bench-compiler.yml

4 workflow runs

4 workflow runs

Automatic toolchain upgrade to nightly-2025-09-25 (#4380) Kani Compiler Performance Benchmarks #4: Commit b74581d pushed by tautschnig

42m 49s main

main

42m 49s

RFC: Partitioned proofs (#4228) Kani Compiler Performance Benchmarks #3: Commit 8b8b897 pushed by tautschnig

45m 20s main

main

45m 20s

Selectively enable and fix (slow) Tokio tests Kani Compiler Performance Benchmarks #2: Commit 6d7bf61 pushed by tautschnig

41m 59s main

main

41m 59s

Kani Compiler Performance Benchmarks Kani Compiler Performance Benchmarks #1: Commit 160c038 pushed by tautschnig

2m 36s main

main

2m 36s