Skip to content

Actions: model-checking/kani

Actions

Kani End-To-End Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-e2e.yml
304 workflow runs
304 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
Automatic cargo update to 2025-07-14 (#4224) Kani End-To-End Performance Benchmarks #29: Commit 4b542d5 pushed by github-merge-queue Bot
1h 24m 40s main
main
1h 24m 40s
Automatic toolchain upgrade to nightly-2025-07-13 (#4223) Kani End-To-End Performance Benchmarks #28: Commit 283c332 pushed by github-merge-queue Bot
1h 35m 25s main
main
1h 35m 25s
Fix bug: goto-cc crash when there are two quantifers in one proof (… Kani End-To-End Performance Benchmarks #27: Commit 603d647 pushed by github-merge-queue Bot
1h 26m 23s main
main
1h 26m 23s
Automatic toolchain upgrade to nightly-2025-07-12 (#4222) Kani End-To-End Performance Benchmarks #26: Commit 4da64f3 pushed by github-merge-queue Bot
1h 26m 7s main
main
1h 26m 7s
Upgrade Rust toolchain to 2025-07-11 (#4219) Kani End-To-End Performance Benchmarks #25: Commit ff0161f pushed by github-merge-queue Bot
1h 30m 20s main
main
1h 30m 20s
Fix the bug that assign clause cannot be inferred for the inner loop … Kani End-To-End Performance Benchmarks #24: Commit 8c26683 pushed by github-merge-queue Bot
1h 27m 26s main
main
1h 27m 26s
Split compiler flags to avoid dependency recompilation (#4211) Kani End-To-End Performance Benchmarks #23: Commit c9e396e pushed by github-merge-queue Bot
1h 26m 21s main
main
1h 26m 21s
Update CBMC dependency to 6.7.1 (#4178) Kani End-To-End Performance Benchmarks #22: Commit 533403e pushed by github-merge-queue Bot
1h 22m 48s main
main
1h 22m 48s
Upgrade Rust toolchain to 2025-07-10 (#4215) Kani End-To-End Performance Benchmarks #21: Commit 6796bb4 pushed by github-merge-queue Bot
1h 33m 39s main
main
1h 33m 39s
Upgrade Rust toolchain to 2025-07-04 (#4199) Kani End-To-End Performance Benchmarks #20: Commit 361ccea pushed by github-merge-queue Bot
1h 42m 21s main
main
1h 42m 21s
Bump tests/perf/s2n-quic from b8f8cca to 8715fdf (#4209) Kani End-To-End Performance Benchmarks #19: Commit 2bdc9ba pushed by github-merge-queue Bot
1h 36m 2s main
main
1h 36m 2s
Automatic cargo update to 2025-07-07 (#4208) Kani End-To-End Performance Benchmarks #18: Commit 40f49ef pushed by github-merge-queue Bot
1h 36m 30s main
main
1h 36m 30s
ptr_offset_from: Replace arithmetic over pointers by offset arithme… Kani End-To-End Performance Benchmarks #17: Commit 467bb49 pushed by github-merge-queue Bot
1h 35m 12s main
main
1h 35m 12s
Update to Rust edition 2024 (#4197) Kani End-To-End Performance Benchmarks #16: Commit 173594b pushed by github-merge-queue Bot
1h 37m 41s main
main
1h 37m 41s
Adjust sized hierarchy for Kani's memory predicates (#4193) Kani End-To-End Performance Benchmarks #15: Commit 1238681 pushed by github-merge-queue Bot
1h 37m 51s main
main
1h 37m 51s
Bump Kani version to 0.64.0 (#4198) Kani End-To-End Performance Benchmarks #14: Commit 96f7e59 pushed by github-merge-queue Bot
1h 35m 12s main
main
1h 35m 12s
Automatic Derivation Fixes (#4194) Kani End-To-End Performance Benchmarks #13: Commit 5b6519b pushed by github-merge-queue Bot
1h 36m 29s main
main
1h 36m 29s
Upgrade toolchain to 07/02 (#4195) Kani End-To-End Performance Benchmarks #12: Commit e197baf pushed by github-merge-queue Bot
1h 37m 27s main
main
1h 37m 27s
Bump ncipollo/release-action from 1.16.0 to 1.18.0 (#4191) Kani End-To-End Performance Benchmarks #11: Commit 5f211cf pushed by github-merge-queue Bot
1h 41m 27s main
main
1h 41m 27s
Optimize reachability with non-mutating global passes (#4177) Kani End-To-End Performance Benchmarks #10: Commit 5b696e0 pushed by github-merge-queue Bot
1h 39m 37s main
main
1h 39m 37s
Upgrade toolchain to 06/30 (#4188) Kani End-To-End Performance Benchmarks #9: Commit 6bd6afa pushed by github-merge-queue Bot
1h 42m 11s main
main
1h 42m 11s
Add support for loop assigns in loop contracts (#4174) Kani End-To-End Performance Benchmarks #8: Commit b705ac5 pushed by github-merge-queue Bot
1h 34m 56s main
main
1h 34m 56s
Automatic cargo update to 2025-06-30 (#4186) Kani End-To-End Performance Benchmarks #7: Commit ee23e07 pushed by github-merge-queue Bot
1h 38m 8s main
main
1h 38m 8s
Include wget in dependencies (#4183) Kani End-To-End Performance Benchmarks #6: Commit 0c50d46 pushed by github-merge-queue Bot
1h 34m 45s main
main
1h 34m 45s
Upgrade Rust toolchain to 2025-06-27 (#4182) Kani End-To-End Performance Benchmarks #5: Commit 79fe8af pushed by github-merge-queue Bot
1h 38m 12s main
main
1h 38m 12s
ProTip! You can narrow down the results and go further in time using created:<2025-06-27 or the other filters available.