Skip to content

Actions: carolynzech/rust

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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