Skip to content

Actions: carolynzech/kani

Actions

Release Bundle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Release Bundle #38: Commit 72637ee pushed by carolynzech
January 16, 2025 14:52 13m 7s main
main
January 16, 2025 14:52 13m 7s
suppress unreachable code warning Release Bundle #37: Pull request #41 opened by carolynzech
December 31, 2024 16:38 1h 16m 52s suppress-contract-warning
suppress-contract-warning
December 31, 2024 16:38 1h 16m 52s
Automatic cargo update to 2024-12-30 (#3800) Release Bundle #36: Commit 7913e3c pushed by carolynzech
December 31, 2024 16:37 1h 13m 36s main
main
December 31, 2024 16:37 1h 13m 36s
Test gcd Release Bundle #35: Pull request #40 opened by carolynzech
December 31, 2024 16:27 1h 15m 47s test-gcd
test-gcd
December 31, 2024 16:27 1h 15m 47s
Load reduction Release Bundle #34: Pull request #39 synchronize by carolynzech
December 31, 2024 16:06 22m 39s load-reduction
load-reduction
December 31, 2024 16:06 22m 39s
Load reduction Release Bundle #33: Pull request #39 opened by carolynzech
December 31, 2024 16:05 22m 24s load-reduction
load-reduction
December 31, 2024 16:05 22m 24s
Automatic toolchain upgrade to nightly-2024-12-13 (#3775) Release Bundle #32: Commit 4c1af16 pushed by carolynzech
December 13, 2024 15:40 11m 57s main
main
December 13, 2024 15:40 11m 57s
Automatic toolchain upgrade to nightly-2024-11-18 (#3727) Release Bundle #31: Commit 41a67c8 pushed by carolynzech
November 19, 2024 15:46 24m 19s main
main
November 19, 2024 15:46 24m 19s
Bump tests/perf/s2n-quic from cb41b35 to 4c3ba69 (#3725) Release Bundle #30: Commit df1550a pushed by carolynzech
November 19, 2024 03:01 55m 33s main
main
November 19, 2024 03:01 55m 33s
Automatic toolchain upgrade to nightly-2024-10-24 (#3639) Release Bundle #29: Commit 5047ffb pushed by carolynzech
October 24, 2024 14:18 25m 1s main
main
October 24, 2024 14:18 25m 1s
Emit an error when proof_for_contract function is not found (#3609) Release Bundle #28: Commit dcb4d6d pushed by carolynzech
October 19, 2024 04:38 24m 48s main
main
October 19, 2024 04:38 24m 48s
Automatic toolchain upgrade to nightly-2024-10-18 (#3613) Release Bundle #27: Commit 0e03c1c pushed by carolynzech
October 18, 2024 15:48 24m 30s main
main
October 18, 2024 15:48 24m 30s
Loop Contracts Annotation for While-Loop (#3151) Release Bundle #26: Commit 056d4bc pushed by carolynzech
October 15, 2024 19:19 23m 55s main
main
October 15, 2024 19:19 23m 55s
Automatic toolchain upgrade to nightly-2024-10-01 (#3558) Release Bundle #25: Commit 10b8a9d pushed by carolynzech
October 1, 2024 20:23 24m 31s main
main
October 1, 2024 20:23 24m 31s
Automatic toolchain upgrade to nightly-2024-09-30 (#3554) Release Bundle #24: Commit d712846 pushed by carolynzech
September 30, 2024 16:31 19m 22s main
main
September 30, 2024 16:31 19m 22s
Update toolchain to 2024-09-26 (#3549) Release Bundle #23: Commit 7c9b710 pushed by carolynzech
September 27, 2024 18:23 24m 28s main
main
September 27, 2024 18:23 24m 28s
Upgrade toolchain to 2024-09-12 (#3524) Release Bundle #22: Commit d2051b7 pushed by carolynzech
September 18, 2024 19:15 31m 25s main
main
September 18, 2024 19:15 31m 25s
Automatic toolchain upgrade to nightly-2024-09-11 (#3520) Release Bundle #21: Commit dba8f39 pushed by carolynzech
September 17, 2024 19:12 27m 50s main
main
September 17, 2024 19:12 27m 50s
Automatic cargo update to 2024-09-16 (#3515) Release Bundle #20: Commit 31e1679 pushed by carolynzech
September 16, 2024 18:24 11m 33s main
main
September 16, 2024 18:24 11m 33s
Automatic toolchain upgrade to nightly-2024-09-08 (#3505) Release Bundle #19: Commit cda1b30 pushed by carolynzech
September 9, 2024 16:20 25m 39s main
main
September 9, 2024 16:20 25m 39s
Upgrade toolchain to 2024-09-07 (#3504) Release Bundle #18: Commit 7896cff pushed by carolynzech
September 9, 2024 03:29 25m 58s main
main
September 9, 2024 03:29 25m 58s
List RFC revisions (#3490) Release Bundle #17: Commit 2536f64 pushed by carolynzech
September 6, 2024 19:59 26m 13s main
main
September 6, 2024 19:59 26m 13s
Automatic toolchain upgrade to nightly-2024-09-05 (#3500) Release Bundle #16: Commit faa47f7 pushed by carolynzech
September 6, 2024 16:36 23m 5s main
main
September 6, 2024 16:36 23m 5s
vstte paper (#3473) Release Bundle #15: Commit 4a9a70c pushed by carolynzech
September 4, 2024 14:47 1h 15m 28s main
main
September 4, 2024 14:47 1h 15m 28s
Automatic toolchain upgrade to nightly-2024-09-03 (#3482) Release Bundle #14: Commit 2c939ab pushed by carolynzech
September 3, 2024 13:27 30m 52s main
main
September 3, 2024 13:27 30m 52s