Kani End-To-End Performance Benchmarks · Workflow runs · tautschnig/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 Format Check Kani Format Check
Management
- Caches

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

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

1h 33m 37s main

main

1h 33m 37s

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

1h 23m 29s main

main

1h 23m 29s

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

2h 1m 18s main

main

2h 1m 18s

Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #1: Commit 160c038 pushed by tautschnig

1h 30m 53s main

main

1h 30m 53s