Skip to content

Actions: tautschnig/kani

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
6 workflow run results
6 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unified handling for unstable command line flags across compiler and … Kani Performance Benchmarks #6: Commit 9cd3de1 pushed by tautschnig
September 7, 2023 10:15 1h 37m 46s main
main
September 7, 2023 10:15 1h 37m 46s
Automatic toolchain upgrade improvements Kani Performance Benchmarks #5: Commit f27bbbc pushed by tautschnig
August 30, 2023 13:45 3h 13m 4s main
main
August 30, 2023 13:45 3h 13m 4s
Use the clap derive API for the command line arguments of `kani-com… Kani Performance Benchmarks #4: Commit 03d9331 pushed by tautschnig
August 30, 2023 13:44 2h 35m 39s main
main
August 30, 2023 13:44 2h 35m 39s
Merge branch 'model-checking:main' into main Kani Performance Benchmarks #3: Commit 218bcba pushed by tautschnig
August 30, 2023 13:42 2h 36m 6s main
main
August 30, 2023 13:42 2h 36m 6s
Automatic toolchain upgrade improvements Kani Performance Benchmarks #2: Commit 1c34454 pushed by tautschnig
August 30, 2023 13:41 1h 52m 44s main
main
August 30, 2023 13:41 1h 52m 44s
Add support to simd_bitmask (#2677) Kani Performance Benchmarks #1: Commit db73dad pushed by tautschnig
August 30, 2023 13:39 1h 46m 23s main
main
August 30, 2023 13:39 1h 46m 23s