Skip to content

Actions: AlexanderPortland/kani

Actions

Kani Compiler Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

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