Skip to content

Actions: qinheping/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove proof without contracts for testing Rust Tests #23: Commit 6f1e879 pushed by qinheping
3m 42s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
3m 42s
Merge branch 'main' into loop-contracts/small_slice_eq Rust Tests #22: Commit ed059a1 pushed by qinheping
4m 43s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
4m 43s
Update toolchain and kani version config Rust Tests #21: Commit c738450 pushed by qinheping
7m 34s sync-2024-11-03
sync-2024-11-03
7m 34s
Merge commit 'dbb25f2e07bc339a577a78ea5eff872bafc33b4c' into sync-202… Rust Tests #20: Commit d425502 pushed by qinheping
5m 24s sync-2024-11-03
sync-2024-11-03
5m 24s
Add kani script instructions to book (#135) Rust Tests #19: Commit bd56a76 pushed by qinheping
6m 26s main
main
6m 26s
Add loop contracts and harness for ptr::swap_nonoverlapping_simple_un… Rust Tests #18: Commit 37e06ce pushed by qinheping
5m 17s swap_nonoverlapping_simple_untyped
swap_nonoverlapping_simple_untyped
5m 17s
Merge branch 'main' into add_loop_invariants_predicate Rust Tests #17: Commit 8cf84f9 pushed by qinheping
7m 22s add_loop_invariants_predicate
add_loop_invariants_predicate
7m 22s
Add loop contracts and harness for slice::binary_search_by Rust Tests #16: Commit b8e78e2 pushed by qinheping
5m 16s binary_search_by
binary_search_by
5m 16s
Add loop_invariants predicate Rust Tests #15: Commit a1e2136 pushed by qinheping
7m 30s add_loop_invariants_predicate
add_loop_invariants_predicate
7m 30s
Add loop_invariants predicate Rust Tests #14: Commit 57cecd4 pushed by qinheping
7m 36s add_loop_invariants_predicate
add_loop_invariants_predicate
7m 36s
Add loop contracts and harness for str::small_slice_eq Rust Tests #13: Commit d3ef481 pushed by qinheping
4m 56s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
4m 56s
Make the harness running in CI Rust Tests #12: Commit 365d85c pushed by qinheping
5m 10s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
5m 10s
Merge branch 'main' into sift_up Rust Tests #11: Commit 521394a pushed by tautschnig
3m 1s sift_up
sift_up
3m 1s
Update library/alloc/src/collections/binary_heap/mod.rs Rust Tests #10: Commit eed4094 pushed by tautschnig
7m 14s sift_up
sift_up
7m 14s
Add loop contracts and harness for Slice::repeat Rust Tests #9: Commit 29bc9d3 pushed by qinheping
5m 7s repeat
repeat
5m 7s
Add loop contracts and harness for Slice::partition_dedup_by Rust Tests #8: Commit 69d8bd3 pushed by qinheping
5m 17s partition_dedup_by
partition_dedup_by
5m 17s
Update the script Rust Tests #7: Commit 1422f9d pushed by qinheping
4m 54s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
4m 54s
Add loop contracts and harness for BinaryHeap::sift_up Rust Tests #6: Commit 746b5de pushed by qinheping
5m 30s sift_up
sift_up
5m 30s
Add loop contracts and harness for Rust Tests #5: Commit e8a7fca pushed by qinheping
6m 27s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
6m 27s
Contracts & Harnesses for wrapping_shl (#112) Rust Tests #4: Commit 3a967e3 pushed by qinheping
6m 18s main
main
6m 18s