Skip to content

Actions: carolynzech/kani

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani Performance Benchmarks #34: Commit 72637ee pushed by carolynzech
January 16, 2025 14:52 1h 23m 39s main
main
January 16, 2025 14:52 1h 23m 39s
Automatic cargo update to 2024-12-30 (#3800) Kani Performance Benchmarks #33: Commit 7913e3c pushed by carolynzech
December 31, 2024 16:37 1h 19m 27s main
main
December 31, 2024 16:37 1h 19m 27s
Automatic toolchain upgrade to nightly-2024-12-13 (#3775) Kani Performance Benchmarks #32: Commit 4c1af16 pushed by carolynzech
December 13, 2024 15:40 1h 14m 16s main
main
December 13, 2024 15:40 1h 14m 16s
Automatic toolchain upgrade to nightly-2024-11-18 (#3727) Kani Performance Benchmarks #31: Commit 41a67c8 pushed by carolynzech
November 19, 2024 15:46 1h 7m 19s main
main
November 19, 2024 15:46 1h 7m 19s
Bump tests/perf/s2n-quic from cb41b35 to 4c3ba69 (#3725) Kani Performance Benchmarks #30: Commit df1550a pushed by carolynzech
November 19, 2024 03:01 1h 8m 56s main
main
November 19, 2024 03:01 1h 8m 56s
Automatic toolchain upgrade to nightly-2024-10-24 (#3639) Kani Performance Benchmarks #29: Commit 5047ffb pushed by carolynzech
October 24, 2024 14:18 1h 4m 50s main
main
October 24, 2024 14:18 1h 4m 50s
Emit an error when proof_for_contract function is not found (#3609) Kani Performance Benchmarks #28: Commit dcb4d6d pushed by carolynzech
October 19, 2024 04:38 1h 9m 18s main
main
October 19, 2024 04:38 1h 9m 18s
Automatic toolchain upgrade to nightly-2024-10-18 (#3613) Kani Performance Benchmarks #27: Commit 0e03c1c pushed by carolynzech
October 18, 2024 15:48 1h 8m 41s main
main
October 18, 2024 15:48 1h 8m 41s
Loop Contracts Annotation for While-Loop (#3151) Kani Performance Benchmarks #26: Commit 056d4bc pushed by carolynzech
October 15, 2024 19:19 1h 6m 23s main
main
October 15, 2024 19:19 1h 6m 23s
Automatic toolchain upgrade to nightly-2024-10-01 (#3558) Kani Performance Benchmarks #25: Commit 10b8a9d pushed by carolynzech
October 1, 2024 20:23 1h 6m 57s main
main
October 1, 2024 20:23 1h 6m 57s
Automatic toolchain upgrade to nightly-2024-09-30 (#3554) Kani Performance Benchmarks #24: Commit d712846 pushed by carolynzech
September 30, 2024 16:31 1h 13m 11s main
main
September 30, 2024 16:31 1h 13m 11s
Update toolchain to 2024-09-26 (#3549) Kani Performance Benchmarks #23: Commit 7c9b710 pushed by carolynzech
September 27, 2024 18:23 1h 8m 31s main
main
September 27, 2024 18:23 1h 8m 31s
Upgrade toolchain to 2024-09-12 (#3524) Kani Performance Benchmarks #22: Commit d2051b7 pushed by carolynzech
September 18, 2024 19:15 1h 16m 3s main
main
September 18, 2024 19:15 1h 16m 3s
Automatic toolchain upgrade to nightly-2024-09-11 (#3520) Kani Performance Benchmarks #21: Commit dba8f39 pushed by carolynzech
September 17, 2024 19:12 1h 4m 54s main
main
September 17, 2024 19:12 1h 4m 54s
Automatic cargo update to 2024-09-16 (#3515) Kani Performance Benchmarks #20: Commit 31e1679 pushed by carolynzech
September 16, 2024 18:24 1h 8m 4s main
main
September 16, 2024 18:24 1h 8m 4s
Automatic toolchain upgrade to nightly-2024-09-08 (#3505) Kani Performance Benchmarks #19: Commit cda1b30 pushed by carolynzech
September 9, 2024 16:20 1h 2m 40s main
main
September 9, 2024 16:20 1h 2m 40s
Upgrade toolchain to 2024-09-07 (#3504) Kani Performance Benchmarks #18: Commit 7896cff pushed by carolynzech
September 9, 2024 03:29 1h 1m 46s main
main
September 9, 2024 03:29 1h 1m 46s
List RFC revisions (#3490) Kani Performance Benchmarks #17: Commit 2536f64 pushed by carolynzech
September 6, 2024 19:59 1h 2m 51s main
main
September 6, 2024 19:59 1h 2m 51s
Automatic toolchain upgrade to nightly-2024-09-05 (#3500) Kani Performance Benchmarks #16: Commit faa47f7 pushed by carolynzech
September 6, 2024 16:36 1h 6m 22s main
main
September 6, 2024 16:36 1h 6m 22s
vstte paper (#3473) Kani Performance Benchmarks #15: Commit 4a9a70c pushed by carolynzech
September 4, 2024 14:47 1h 2m 27s main
main
September 4, 2024 14:47 1h 2m 27s
Automatic toolchain upgrade to nightly-2024-09-03 (#3482) Kani Performance Benchmarks #14: Commit 2c939ab pushed by carolynzech
September 3, 2024 13:27 1h 3m 15s main
main
September 3, 2024 13:27 1h 3m 15s
Partially integrate uninit memory checks into verify_std (#3470) Kani Performance Benchmarks #13: Commit 2960f80 pushed by carolynzech
August 31, 2024 14:48 57m 19s main
main
August 31, 2024 14:48 57m 19s
Extra tests and bug fixes to the delayed UB instrumentation (#3419) Kani Performance Benchmarks #12: Commit e28f3db pushed by carolynzech
August 29, 2024 18:15 55m 30s main
main
August 29, 2024 18:15 55m 30s
RFC: Source-based code coverage (#3143) Kani Performance Benchmarks #11: Commit 7a02955 pushed by carolynzech
August 27, 2024 18:14 58m 36s main
main
August 27, 2024 18:14 58m 36s
Update deny action (#3461) Kani Performance Benchmarks #10: Commit 28f8f22 pushed by carolynzech
August 27, 2024 00:42 58m 23s main
main
August 27, 2024 00:42 58m 23s