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
300 workflow runs
300 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 2026-05-04 (#4595) Kani End-To-End Performance Benchmarks #300: Commit 3686457 pushed by github-merge-queue Bot
1h 38m 39s main
main
1h 38m 39s
Fix floating-point remainder soundness and add soundness documentatio… Kani End-To-End Performance Benchmarks #299: Commit 86273d7 pushed by github-merge-queue Bot
1h 35m 55s main
main
1h 35m 55s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Kani End-To-End Performance Benchmarks #298: Commit 7253bec pushed by github-merge-queue Bot
1h 26m 47s main
main
1h 26m 47s
Support stubbing trait method implementations (#4587) Kani End-To-End Performance Benchmarks #297: Commit 6fa4467 pushed by github-merge-queue Bot
1h 26m 3s main
main
1h 26m 3s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani End-To-End Performance Benchmarks #296: Commit 78eb465 pushed by github-merge-queue Bot
1h 27m 54s main
main
1h 27m 54s
Towards stubbing stabilization (#4566) Kani End-To-End Performance Benchmarks #295: Commit 78a0630 pushed by github-merge-queue Bot
1h 33m 39s main
main
1h 33m 39s
Reject mutual recursion with #[kani::recursion] (#4580) Kani End-To-End Performance Benchmarks #294: Commit 33bfc86 pushed by github-merge-queue Bot
1h 26m 42s main
main
1h 26m 42s
Warn when quantifier range exceeds SAT solver threshold (#4579) Kani End-To-End Performance Benchmarks #293: Commit 6bfc273 pushed by github-merge-queue Bot
1h 33m 18s main
main
1h 33m 18s
Automatic cargo update to 2026-04-20 (#4581) Kani End-To-End Performance Benchmarks #292: Commit d2c6dca pushed by github-merge-queue Bot
1h 34m 10s main
main
1h 34m 10s
fix saturating float-to-int cast (#4573) Kani End-To-End Performance Benchmarks #291: Commit 1c73890 pushed by github-merge-queue Bot
1h 33m 10s main
main
1h 33m 10s
Bump actions/github-script from 8 to 9 (#4576) Kani End-To-End Performance Benchmarks #290: Commit 1f83c79 pushed by github-merge-queue Bot
1h 30m 36s main
main
1h 30m 36s
Add pure expression inliner infrastructure for quantifier bodies (#4567) Kani End-To-End Performance Benchmarks #289: Commit 27eaf3b pushed by github-merge-queue Bot
1h 36m 34s main
main
1h 36m 34s
Automatic cargo update to 2026-04-13 (#4575) Kani End-To-End Performance Benchmarks #288: Commit 1ba3727 pushed by github-merge-queue Bot
1h 31m 39s main
main
1h 31m 39s
Automatic cargo update to 2026-04-06 (#4572) Kani End-To-End Performance Benchmarks #287: Commit bc27348 pushed by github-merge-queue Bot
1h 32m 2s main
main
1h 32m 2s
Bump tests/perf/s2n-quic from 82c66f2 to 024b804 (#4569) Kani End-To-End Performance Benchmarks #286: Commit 39988dc pushed by github-merge-queue Bot
1h 36m 55s main
main
1h 36m 55s
Automatic cargo update to 2026-03-30 (#4568) Kani End-To-End Performance Benchmarks #285: Commit e45514c pushed by github-merge-queue Bot
1h 30m 59s main
main
1h 30m 59s
Fix stubbing bugs: FFI name resolution and generic parameter validati… Kani End-To-End Performance Benchmarks #284: Commit 105be6b pushed by github-merge-queue Bot
1h 26m 53s main
main
1h 26m 53s
Automatic cargo update to 2026-03-23 (#4563) Kani End-To-End Performance Benchmarks #283: Commit f2ac758 pushed by github-merge-queue Bot
1h 31m 50s main
main
1h 31m 50s
Automatic cargo update to 2026-03-16 (#4561) Kani End-To-End Performance Benchmarks #282: Commit 4c8e1ad pushed by github-merge-queue Bot
1h 31m 48s main
main
1h 31m 48s
Bump docker/login-action from 3 to 4 (#4558) Kani End-To-End Performance Benchmarks #281: Commit 5084d8b pushed by github-merge-queue Bot
1h 33m 44s main
main
1h 33m 44s
Bump tests/perf/s2n-quic from 296b644 to 82c66f2 (#4560) Kani End-To-End Performance Benchmarks #280: Commit 03f50de pushed by github-merge-queue Bot
1h 29m 39s main
main
1h 29m 39s
Automatic cargo update to 2026-03-09 (#4557) Kani End-To-End Performance Benchmarks #279: Commit 8ebb363 pushed by github-merge-queue Bot
1h 35m 16s main
main
1h 35m 16s
Create AGENTS.md to guide AI coding assistants (#4543) Kani End-To-End Performance Benchmarks #278: Commit 70a4ad4 pushed by github-merge-queue Bot
1h 38m 3s main
main
1h 38m 3s
Fix atomic compare_exchange to return correct failure status (#4542) Kani End-To-End Performance Benchmarks #277: Commit edfa537 pushed by github-merge-queue Bot
1h 34m 21s main
main
1h 34m 21s
Fix workspace feature handling to filter features per-package (#4545) Kani End-To-End Performance Benchmarks #276: Commit 05a3cd8 pushed by github-merge-queue Bot
1h 33m 16s main
main
1h 33m 16s