Skip to content

Actions: AlexLB99/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Kani Metrics (#519) Rust Tests #88: Commit 3b82716 pushed by AlexLB99
6m 9s main
main
6m 9s
Add loop_invariant and harness for array reverse (#430) Rust Tests #87: Commit 3bb48f0 pushed by AlexLB99
5m 6s main
main
5m 6s
Testable Models for SIMD Intrinsics (#423) Rust Tests #86: Commit ffda6a8 pushed by AlexLB99
5m 26s main
main
5m 26s
Merge branch 'main' into complete-transmute Rust Tests #85: Commit d246b99 pushed by thanhnguyen-aws
33m 6s complete-transmute
complete-transmute
33m 6s
Merge branch 'model-checking:main' into complete-transmute Rust Tests #84: Commit 3735522 pushed by AlexLB99
5m 1s complete-transmute
complete-transmute
5m 1s
Add missing line breaks in 0020-str-pattern-pt1.md (#426) Rust Tests #83: Commit 4c08921 pushed by AlexLB99
35m 10s main
main
35m 10s
fixed mismerge Rust Tests #82: Commit 7e8d09c pushed by AlexLB99
33m 26s check_align_to
check_align_to
33m 26s
Merge branch 'model-checking:main' into check_align_to Rust Tests #81: Commit ed67c16 pushed by AlexLB99
5m 15s check_align_to
check_align_to
5m 15s
formatting Rust Tests #80: Commit 68dd9ba pushed by AlexLB99
16m 12s check_align_to
check_align_to
16m 12s
moved align_to_mut_wrapper contract to align_to_mut Rust Tests #79: Commit fc2a863 pushed by AlexLB99
15m 45s check_align_to
check_align_to
15m 45s
Merge branch 'model-checking:main' into check_align_to Rust Tests #78: Commit 31a8d89 pushed by AlexLB99
52m 13s check_align_to
check_align_to
52m 13s
moved contract from align_to_mut_wrapper to align_to_mut Rust Tests #77: Commit 7d0c289 pushed by AlexLB99
4m 28s testing_clean
testing_clean
4m 28s
Run more automatic harnesses (use patterns w/ regex support) (#397) Rust Tests #76: Commit a4edf5f pushed by AlexLB99
43m 26s testing_clean
testing_clean
43m 26s
Merge subtree update for toolchain nightly-2025-07-02 (#407) Rust Tests #75: Commit 45ed9e9 pushed by AlexLB99
5m 0s testing_clean
testing_clean
5m 0s
updated/added comments to slice/mod.rs Rust Tests #74: Commit 9e62272 pushed by AlexLB99
1h 3m 6s check_align_to
check_align_to
1h 3m 6s
align_to and align_to_mut contracts Rust Tests #73: Commit 106a110 pushed by AlexLB99
6m 11s check_align_to
check_align_to
6m 11s
reformatting Rust Tests #72: Commit e795288 pushed by AlexLB99
5m 9s check_align_to
check_align_to
5m 9s
more bug fixes Rust Tests #71: Commit 3fb0c96 pushed by AlexLB99
4m 37s check_align_to
check_align_to
4m 37s
fixed ensures clause unit type edge case Rust Tests #70: Commit aa415ee pushed by AlexLB99
4m 29s check_align_to
check_align_to
4m 29s
Don't run update-subtree.yml in forks (#400) Rust Tests #69: Commit 94c1dc1 pushed by AlexLB99
46m 21s testing_clean
testing_clean
46m 21s
Don't run update-subtree.yml in forks (#400) Rust Tests #68: Commit 94c1dc1 pushed by AlexLB99
4m 49s main
main
4m 49s
moved align_to_mut_wrapper out of trait impl Rust Tests #67: Commit ee50a7a pushed by AlexLB99
50m 57s check_align_to
check_align_to
50m 57s
Merge branch 'model-checking:main' into testing_clean Rust Tests #66: Commit e18a060 pushed by AlexLB99
8m 45s testing_clean
testing_clean
8m 45s
fixed formatting Rust Tests #65: Commit ab94cc1 pushed by AlexLB99
9m 18s testing_clean
testing_clean
9m 18s
reduced slice sizes to avoid object-bits error Rust Tests #64: Commit 8afe8f6 pushed by AlexLB99
4m 25s testing_clean
testing_clean
4m 25s