Skip to content

Actions: qinheping/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into qinheping-patch-2 Rust Tests #48: Commit 70b7511 pushed by qinheping
November 14, 2024 05:46 10m 46s qinheping-patch-2
qinheping-patch-2
November 14, 2024 05:46 10m 46s
Update pull_requests.toml Rust Tests #47: Pull request #1 opened by qinheping
November 14, 2024 05:43 6m 59s qinheping-patch-2
qinheping-patch-2
November 14, 2024 05:43 6m 59s
Merge branch 'main' into is_ascii Rust Tests #46: Commit e42dd4c pushed by qinheping
November 9, 2024 00:15 6m 38s is_ascii
is_ascii
November 9, 2024 00:15 6m 38s
Merge branch 'main' into run_utf8_validation Rust Tests #45: Commit 21db740 pushed by celinval
November 8, 2024 23:55 6m 26s run_utf8_validation
run_utf8_validation
November 8, 2024 23:55 6m 26s
Merge branch 'main' into is_ascii Rust Tests #44: Commit e42c8ab pushed by celinval
November 8, 2024 23:53 6m 50s is_ascii
is_ascii
November 8, 2024 23:53 6m 50s
Merge branch 'main' into Utf8Chunk_next Rust Tests #43: Commit 43568c3 pushed by qinheping
November 8, 2024 23:05 9m 10s Utf8Chunk_next
Utf8Chunk_next
November 8, 2024 23:05 9m 10s
Address comments Rust Tests #42: Commit 7889a89 pushed by qinheping
November 8, 2024 22:57 9m 36s Utf8Chunk_next
Utf8Chunk_next
November 8, 2024 22:57 9m 36s
Address comments Rust Tests #41: Commit aca0f56 pushed by qinheping
November 8, 2024 22:34 6m 37s is_ascii
is_ascii
November 8, 2024 22:34 6m 37s
Address comments Rust Tests #40: Commit aa177cc pushed by qinheping
November 8, 2024 22:30 6m 34s run_utf8_validation
run_utf8_validation
November 8, 2024 22:30 6m 34s
Remove test for dangling pointer for now Rust Tests #39: Commit efdbc01 pushed by qinheping
November 8, 2024 22:16 6m 56s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 22:16 6m 56s
Update library/core/src/str/pattern.rs Rust Tests #38: Commit 452ab44 pushed by qinheping
November 8, 2024 21:46 10m 6s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 21:46 10m 6s
Update library/core/src/str/pattern.rs Rust Tests #37: Commit 44196af pushed by qinheping
November 8, 2024 21:46 7m 40s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 21:46 7m 40s
Ignore two non-safety checks Rust Tests #36: Commit 73be69b pushed by qinheping
November 8, 2024 18:46 8m 31s swap_nonoverlapping_simple_untyped
swap_nonoverlapping_simple_untyped
November 8, 2024 18:46 8m 31s
Add case of dangling pointers Rust Tests #35: Commit 745bbaf pushed by qinheping
November 8, 2024 18:28 7m 28s Utf8Chunk_next
Utf8Chunk_next
November 8, 2024 18:28 7m 28s
Add loop contracts and harness for run_utf8_validation Rust Tests #34: Commit 4d1a924 pushed by qinheping
November 8, 2024 18:13 7m 25s run_utf8_validation
run_utf8_validation
November 8, 2024 18:13 7m 25s
Merge branch 'main' into Utf8Chunk_next Rust Tests #33: Commit 33af700 pushed by qinheping
November 8, 2024 16:54 7m 26s Utf8Chunk_next
Utf8Chunk_next
November 8, 2024 16:54 7m 26s
Add loop contracts and harness for Utf8Chunk::next Rust Tests #32: Commit 10904f0 pushed by qinheping
November 8, 2024 16:54 6m 42s Utf8Chunk_next
Utf8Chunk_next
November 8, 2024 16:54 6m 42s
Add loop contracts and harness for Slice::is_ascii Rust Tests #31: Commit 8b4f971 pushed by qinheping
November 8, 2024 07:41 7m 32s is_ascii
is_ascii
November 8, 2024 07:41 7m 32s
Merge branch 'main' into swap_nonoverlapping_simple_untyped Rust Tests #30: Commit 23b0cac pushed by qinheping
November 8, 2024 07:17 10m 28s swap_nonoverlapping_simple_untyped
swap_nonoverlapping_simple_untyped
November 8, 2024 07:17 10m 28s
Update kani version Rust Tests #29: Commit 47f927d pushed by qinheping
November 8, 2024 07:17 7m 1s swap_nonoverlapping_simple_untyped
swap_nonoverlapping_simple_untyped
November 8, 2024 07:17 7m 1s
Update kani version Rust Tests #28: Commit 5957298 pushed by qinheping
November 8, 2024 06:58 15m 40s binary_search_by
binary_search_by
November 8, 2024 06:58 15m 40s
Merge branch 'main' into binary_search_by Rust Tests #27: Commit cb6b585 pushed by qinheping
November 8, 2024 06:44 4m 46s binary_search_by
binary_search_by
November 8, 2024 06:44 4m 46s
Add harness for dangling pointer Rust Tests #26: Commit b4b4f89 pushed by qinheping
November 8, 2024 06:42 8m 49s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 06:42 8m 49s
Update Kani version Rust Tests #25: Commit 708fcbe pushed by qinheping
November 8, 2024 03:00 8m 23s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 03:00 8m 23s
Merge branch 'main' into loop-contracts/small_slice_eq Rust Tests #24: Commit 458dc4a pushed by qinheping
November 8, 2024 01:50 4m 47s loop-contracts/small_slice_eq
loop-contracts/small_slice_eq
November 8, 2024 01:50 4m 47s