Skip to content

Actions: tautschnig/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
864 workflow runs
864 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add review guidelines Rust Tests #52: Commit 24a627f pushed by tautschnig
December 12, 2024 18:49 6m 51s review-guidelines
review-guidelines
December 12, 2024 18:49 6m 51s
Add review guidelines Kani #52: Commit 24a627f pushed by tautschnig
December 12, 2024 18:49 3h 10m 52s review-guidelines
review-guidelines
December 12, 2024 18:49 3h 10m 52s
Cleanup stray comment Build Book #10: Commit ec9c3d5 pushed by tautschnig
December 10, 2024 10:54 4m 39s iter-cleanup
iter-cleanup
December 10, 2024 10:54 4m 39s
Cleanup stray comment Rust Tests #51: Commit ec9c3d5 pushed by tautschnig
December 10, 2024 10:54 6m 50s iter-cleanup
iter-cleanup
December 10, 2024 10:54 6m 50s
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
ProTip! You can narrow down the results and go further in time using created:<2024-10-17 or the other filters available.