Skip to content

Actions: tautschnig/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup stray comment Kani #51: Commit ec9c3d5 pushed by tautschnig
December 10, 2024 10:54 2h 49m 42s iter-cleanup
iter-cleanup
December 10, 2024 10:54 2h 49m 42s
Merge branch 'main' into safety-dep Rust Tests #50: Commit a88f554 pushed by tautschnig
October 22, 2024 20:15 14m 28s safety-dep
safety-dep
October 22, 2024 20:15 14m 28s
Merge branch 'main' into safety-dep Kani #50: Commit a88f554 pushed by tautschnig
October 22, 2024 20:15 23m 17s safety-dep
safety-dep
October 22, 2024 20:15 23m 17s
Add annotations required by Kani Kani #49: Commit 027385a pushed by tautschnig
October 18, 2024 15:40 25m 18s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 18, 2024 15:40 25m 18s
Add annotations required by Kani Rust Tests #49: Commit 027385a pushed by tautschnig
October 18, 2024 15:40 8m 49s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 18, 2024 15:40 8m 49s
Fix contract, harness still fails Rust Tests #48: Commit def005e pushed by tautschnig
October 18, 2024 14:39 8m 58s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 18, 2024 14:39 8m 58s
Fix contract, harness still fails Kani #48: Commit def005e pushed by tautschnig
October 18, 2024 14:39 18m 26s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 18, 2024 14:39 18m 26s
Disable check_grow_impl as we cannot currently express the necessary … Rust Tests #47: Commit d640ef6 pushed by tautschnig
October 18, 2024 13:31 7m 20s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 18, 2024 13:31 7m 20s
Disable check_grow_impl as we cannot currently express the necessary … Kani #47: Commit d640ef6 pushed by tautschnig
October 18, 2024 13:31 18m 2s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 18, 2024 13:31 18m 2s
Fix contract (incomplete) Kani #46: Commit e880520 pushed by tautschnig
October 17, 2024 15:51 4m 8s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 17, 2024 15:51 4m 8s
Fix contract (incomplete) Rust Tests #46: Commit e880520 pushed by tautschnig
October 17, 2024 15:51 5m 24s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 17, 2024 15:51 5m 24s
Fix harnesses Rust Tests #45: Commit 2ca4ee7 pushed by tautschnig
October 17, 2024 15:10 6m 41s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 17, 2024 15:10 6m 41s
Fix harnesses Kani #45: Commit 2ca4ee7 pushed by tautschnig
October 17, 2024 15:10 1h 55m 29s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 17, 2024 15:10 1h 55m 29s
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs Kani #44: Commit 8e6b212 pushed by tautschnig
October 17, 2024 14:05 4m 21s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 17, 2024 14:05 4m 21s
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs Rust Tests #44: Commit 8e6b212 pushed by tautschnig
October 17, 2024 14:05 5m 6s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
October 17, 2024 14:05 5m 6s
Add safety preconditions to alloc/src/boxed/thin.rs Rust Tests #43: Commit bb44f4b pushed by tautschnig
October 17, 2024 14:00 5m 10s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 17, 2024 14:00 5m 10s
Add safety preconditions to alloc/src/boxed/thin.rs Kani #43: Commit bb44f4b pushed by tautschnig
October 17, 2024 14:00 4m 1s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
October 17, 2024 14:00 4m 1s
Merge remote-tracking branch 'origin/main' into safety-dep Rust Tests #42: Commit 2689dc3 pushed by tautschnig
October 17, 2024 13:39 9m 22s safety-dep
safety-dep
October 17, 2024 13:39 9m 22s
Merge remote-tracking branch 'origin/main' into safety-dep Kani #42: Commit 2689dc3 pushed by tautschnig
October 17, 2024 13:39 26m 28s safety-dep
safety-dep
October 17, 2024 13:39 26m 28s
fixup! Add safety dependency to alloc and std crates Kani #41: Commit f17509e pushed by tautschnig
October 17, 2024 13:39 4m 6s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:39 4m 6s
fixup! Add safety dependency to alloc and std crates Rust Tests #41: Commit f17509e pushed by tautschnig
October 17, 2024 13:39 6m 44s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:39 6m 44s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Rust Tests #40: Commit 90fbc0e pushed by tautschnig
October 17, 2024 13:33 4m 29s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:33 4m 29s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #40: Commit 90fbc0e pushed by tautschnig
October 17, 2024 13:33 4m 5s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:33 4m 5s
Fix harnesses Rust Tests #39: Commit 247d3be pushed by tautschnig
October 17, 2024 13:32 4m 54s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:32 4m 54s
Fix harnesses Kani #39: Commit 247d3be pushed by tautschnig
October 17, 2024 13:32 4m 7s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
October 17, 2024 13:32 4m 7s