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

Actions

All workflows
Workflows
- Attempt cargo update Attempt cargo update
- Attempt CBMC update Attempt CBMC update
- Attempt toolchain update Attempt toolchain update
- 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 Fixme/Ignored Tests Check Kani Fixme/Ignored Tests Check
Management
- Caches
- Deployments

Kani Compiler Performance Benchmarks

Actions

Loading...
Loading

bench-compiler.yml

5 workflow runs

5 workflow runs

Fixing the bug of moving (instead of cloning) the expression inside `… Kani Compiler Performance Benchmarks #5: Commit 1e3dc05 pushed by carolynzech

42m 26s main

main

42m 26s

Bump tests/perf/s2n-quic from 8f510f0 to c64faf9 (#4288) Kani Compiler Performance Benchmarks #4: Commit 41849d2 pushed by carolynzech

40m 37s main

main

40m 37s

Automatic toolchain upgrade to nightly-2025-08-09 (#4283) Kani Compiler Performance Benchmarks #3: Commit 52e94db pushed by carolynzech

43m 45s main

main

43m 45s

Upgrade Rust toolchain to 2025-07-29 (#4247) Kani Compiler Performance Benchmarks #2: Commit bd6c8cf pushed by carolynzech

44m 55s main

main

44m 55s

Fix bug: Kani unwinds loops with contract in generic function (with -… Kani Compiler Performance Benchmarks #1: Commit 4058625 pushed by carolynzech

3m 13s main

main

3m 13s