Skip to content

Actions: AlexanderPortland/kani

Actions

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-e2e.yml
79 workflow runs
79 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump tracing-subscriber from 0.3.19 to 0.3.20 (#4328) Kani End-To-End Performance Benchmarks #79: Commit 46804c5 pushed by AlexanderPortland
1h 25m 31s main
main
1h 25m 31s
RFC: Partitioned proofs (#4228) Kani End-To-End Performance Benchmarks #78: Commit 8b8b897 pushed by AlexanderPortland
1h 24m 39s main
main
1h 24m 39s
Bump tests/perf/s2n-quic from c64faf9 to ff81604 (#4306) Kani End-To-End Performance Benchmarks #77: Commit f27222d pushed by AlexanderPortland
1h 35m 19s main
main
1h 35m 19s
Fix release job dependencies (#4273) Kani End-To-End Performance Benchmarks #76: Commit 32e3d8f pushed by AlexanderPortland
1h 28m 10s main
main
1h 28m 10s
Introduce thread pool for writing goto binaries in parallel (#4236) Kani End-To-End Performance Benchmarks #75: Commit 8adc279 pushed by AlexanderPortland
1h 25m 51s main
main
1h 25m 51s
Automatic toolchain upgrade to nightly-2025-07-31 (#4256) Kani End-To-End Performance Benchmarks #74: Commit f76e668 pushed by AlexanderPortland
1h 28m 36s main
main
1h 28m 36s
Set bits_per_byte in byte_extract expressions (#4255) Kani End-To-End Performance Benchmarks #73: Commit 39d85fc pushed by AlexanderPortland
1h 27m 13s main
main
1h 27m 13s
Upgrade Rust toolchain to 2025-07-29 (#4247) Kani End-To-End Performance Benchmarks #72: Commit bd6c8cf pushed by AlexanderPortland
1h 30m 9s main
main
1h 30m 9s
Strongly type differing compiler args for clarity (#4220) Kani End-To-End Performance Benchmarks #71: Commit 5af25b5 pushed by AlexanderPortland
1h 27m 37s main
main
1h 27m 37s
Skip codegen for unneeded harnesses (#4213) Kani End-To-End Performance Benchmarks #70: Commit 210b6c3 pushed by AlexanderPortland
1h 26m 6s main
main
1h 26m 6s
Enable GitHub Linux/Arm runners in CI (#3841) Kani End-To-End Performance Benchmarks #69: Commit d49a9ff pushed by AlexanderPortland
1h 31m 36s main
main
1h 31m 36s
Selectively enable and fix (slow) Tokio tests (#4203) Kani End-To-End Performance Benchmarks #68: Commit e12fa5a pushed by AlexanderPortland
1h 26m 55s main
main
1h 26m 55s
Fix the bug that assign clause cannot be inferred for the inner loop … Kani End-To-End Performance Benchmarks #67: Commit 8c26683 pushed by AlexanderPortland
1h 31m 52s main
main
1h 31m 52s
Split compiler flags to avoid dependency recompilation (#4211) Kani End-To-End Performance Benchmarks #66: Commit c9e396e pushed by AlexanderPortland
1h 21m 12s main
main
1h 21m 12s
Upgrade Rust toolchain to 2025-07-04 (#4199) Kani End-To-End Performance Benchmarks #65: Commit 361ccea pushed by AlexanderPortland
1h 34m 16s main
main
1h 34m 16s
Bump tests/perf/s2n-quic from b8f8cca to 8715fdf (#4209) Kani End-To-End Performance Benchmarks #64: Commit 2bdc9ba pushed by AlexanderPortland
1h 44m 24s main
main
1h 44m 24s
Upgrade Rust toolchain to 2025-06-27 (#4182) Kani End-To-End Performance Benchmarks #63: Commit 79fe8af pushed by AlexanderPortland
1h 42m 0s main
main
1h 42m 0s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #62: Commit 7bce95c pushed by AlexanderPortland
1h 33m 23s main
main
1h 33m 23s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #61: Commit 1934885 pushed by AlexanderPortland
36s main
main
36s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #60: Commit 27a04a2 pushed by AlexanderPortland
1m 50s main
main
1m 50s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #59: Commit e81c286 pushed by AlexanderPortland
1h 14m 0s main
main
1h 14m 0s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #58: Commit 17f50c4 pushed by AlexanderPortland
1m 14s main
main
1m 14s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #57: Commit 8371519 pushed by AlexanderPortland
19m 20s main
main
19m 20s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #56: Commit b39c40d pushed by AlexanderPortland
1h 32m 14s main
main
1h 32m 14s
Kani End-To-End Performance Benchmarks Kani End-To-End Performance Benchmarks #55: Commit 4b5b77e pushed by AlexanderPortland
35s main
main
35s