Skip to content

Actions: carolynzech/rust

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain & Kani version to 2025-02-11 Kani #54: Commit 4461995 pushed by carolynzech
February 26, 2025 18:13 2h 3m 28s sync-2025-02-11
sync-2025-02-11
February 26, 2025 18:13 2h 3m 28s
Update toolchain & Kani version to 2025-02-11 Kani #53: Commit c64be3a pushed by carolynzech
February 26, 2025 16:50 2h 13m 23s sync-2025-02-11
sync-2025-02-11
February 26, 2025 16:50 2h 13m 23s
Update to 2024-02-11 Kani #52: Commit 0f32f80 pushed by carolynzech
February 26, 2025 16:01 2h 25m 23s sync-2025-02-11
sync-2025-02-11
February 26, 2025 16:01 2h 25m 23s
Subtree update: fixes branch Kani #51: Pull request #10 synchronize by carolynzech
February 26, 2025 14:16 2h 51m 53s no-assert-contracts
no-assert-contracts
February 26, 2025 14:16 2h 51m 53s
comment out failing proofs Kani #50: Commit 26fc92f pushed by carolynzech
February 26, 2025 14:16 1h 49m 50s no-assert-contracts
no-assert-contracts
February 26, 2025 14:16 1h 49m 50s
Subtree update: fixes branch Kani #49: Pull request #10 synchronize by carolynzech
February 26, 2025 05:03 3h 41m 41s no-assert-contracts
no-assert-contracts
February 26, 2025 05:03 3h 41m 41s
comment out failing proofs Kani #48: Commit 8449ad4 pushed by carolynzech
February 26, 2025 05:03 2h 18m 3s no-assert-contracts
no-assert-contracts
February 26, 2025 05:03 2h 18m 3s
Subtree update: fixes branch Kani #47: Pull request #10 synchronize by carolynzech
February 26, 2025 04:52 52m 36s no-assert-contracts
no-assert-contracts
February 26, 2025 04:52 52m 36s
comment out failing proofs Kani #46: Commit bbe12e2 pushed by carolynzech
February 26, 2025 04:52 36m 35s no-assert-contracts
no-assert-contracts
February 26, 2025 04:52 36m 35s
Subtree update: fixes branch Kani #45: Pull request #10 synchronize by carolynzech
February 26, 2025 01:36 4h 56m 45s no-assert-contracts
no-assert-contracts
February 26, 2025 01:36 4h 56m 45s
comment out failing proofs Kani #44: Commit 41f7638 pushed by carolynzech
February 26, 2025 01:36 3h 56m 43s no-assert-contracts
no-assert-contracts
February 26, 2025 01:36 3h 56m 43s
Subtree update: fixes branch Kani #43: Pull request #10 synchronize by carolynzech
February 26, 2025 01:01 3h 10m 8s no-assert-contracts
no-assert-contracts
February 26, 2025 01:01 3h 10m 8s
comment out failing proofs Kani #42: Commit 71df994 pushed by carolynzech
February 26, 2025 01:01 2h 18m 24s no-assert-contracts
no-assert-contracts
February 26, 2025 01:01 2h 18m 24s
Subtree update: fixes branch Kani #41: Pull request #10 synchronize by carolynzech
February 25, 2025 21:14 5h 23m 27s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 5h 23m 27s
comment out failing proofs Kani #40: Commit f7cbd5f pushed by carolynzech
February 25, 2025 21:14 3h 59m 28s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 3h 59m 28s
Subtree update: fixes branch Kani #39: Pull request #10 synchronize by carolynzech
February 25, 2025 21:14 3h 4m 10s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 3h 4m 10s
const ptr, mut ptr, and nonnull contract fixes Kani #38: Commit 3514090 pushed by carolynzech
February 25, 2025 21:14 1h 52m 20s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 1h 52m 20s
Subtree update: fixes branch Kani #37: Pull request #10 synchronize by carolynzech
February 25, 2025 21:14 17m 43s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 17m 43s
const ptr, mut ptr, and nonnull contract fixes Kani #36: Commit a25b67d pushed by carolynzech
February 25, 2025 21:14 8m 44s no-assert-contracts
no-assert-contracts
February 25, 2025 21:14 8m 44s
Subtree update: fixes branch Kani #35: Pull request #10 synchronize by carolynzech
February 25, 2025 17:16 2h 55m 45s no-assert-contracts
no-assert-contracts
February 25, 2025 17:16 2h 55m 45s
const ptr, mut ptr, and nonnull contract fixes Kani #34: Commit 917b7e2 pushed by carolynzech
February 25, 2025 17:16 1h 50m 46s no-assert-contracts
no-assert-contracts
February 25, 2025 17:16 1h 50m 46s
Subtree update: fixes branch Kani #33: Pull request #10 synchronize by carolynzech
February 25, 2025 00:21 1m 16s no-assert-contracts
no-assert-contracts
February 25, 2025 00:21 1m 16s
restore submodule changes Kani #32: Commit 23c7614 pushed by carolynzech
February 25, 2025 00:21 3h 33m 0s no-assert-contracts
no-assert-contracts
February 25, 2025 00:21 3h 33m 0s
Subtree update: fixes branch Kani #31: Pull request #10 synchronize by carolynzech
February 24, 2025 22:17 4h 40m 21s no-assert-contracts
no-assert-contracts
February 24, 2025 22:17 4h 40m 21s
Bump toolchain & version to 2/11 Kani #30: Commit d85a058 pushed by carolynzech
February 24, 2025 22:17 3h 43m 0s no-assert-contracts
no-assert-contracts
February 24, 2025 22:17 3h 43m 0s