Skip to content

Actions: tautschnig/kani

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to nightly-2023-11-21 (#2890) Kani Performance Benchmarks #9: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:40 1h 4m 57s main
main
November 27, 2023 13:40 1h 4m 57s
Automate cargo update Kani Performance Benchmarks #8: Commit 013f434 pushed by tautschnig
November 27, 2023 13:03 1h 19m 8s main
main
November 27, 2023 13:03 1h 19m 8s
Update toolchain to nightly-2023-11-21 (#2890) Kani Performance Benchmarks #7: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:02 1h 6m 3s main
main
November 27, 2023 13:02 1h 6m 3s
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