Skip to content

Actions: carolynzech/rust

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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