Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
737 workflow runs
737 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Challenge 12: safety and correctness of NonZero Rust Tests #2648: Pull request #637 synchronize by stefanzetzsche
5m 41s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
5m 41s
Challenge 12: safety and correctness of NonZero Rust Tests #2647: Pull request #637 opened by stefanzetzsche
4m 39s stefanzetzsche:nonzero-challenge-12
stefanzetzsche:nonzero-challenge-12
4m 39s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2646: Pull request #589 synchronize by v3risec
4m 21s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 21s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2645: Pull request #589 synchronize by v3risec
4m 0s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 0s
Verify safety of char-related Searcher methods (Challenge 20) Rust Tests #2644: Pull request #537 synchronize by jrey8343
5m 19s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
5m 19s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Rust Tests #2643: Pull request #543 synchronize by jrey8343
19m 2s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
19m 2s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Rust Tests #2642: Pull request #543 synchronize by jrey8343
3m 36s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
3m 36s
Verify safety of NonZero operations (Challenge 12) Rust Tests #2641: Pull request #544 synchronize by jrey8343
4m 34s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
4m 34s
Verify safety of NonZero operations (Challenge 12) Rust Tests #2640: Pull request #544 synchronize by jrey8343
4m 51s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
4m 51s
Add Kani contracts and harnesses for NonZero (Challenge 12) Rust Tests #2639: Pull request #600 synchronize by kasimte
5m 42s kasimte:challenge-12-nonzero
kasimte:challenge-12-nonzero
5m 42s
Rust Tests Rust Tests #2638: Merge group checks requested
5m 42s
5m 42s
Update committee list in pull_requests.toml Rust Tests #2637: Pull request #635 opened by feliperodri
4m 59s feliperodri:update-committee-list
feliperodri:update-committee-list
4m 59s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2636: Pull request #601 synchronize by MavenRain
18m 8s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
18m 8s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Rust Tests #2635: Pull request #602 synchronize by MavenRain
34m 17s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
34m 17s
Verify safety of iterator adapter functions (Challenge 16) Rust Tests #2634: Pull request #549 synchronize by kasimte
6m 31s kasimte:challenge-16
kasimte:challenge-16
6m 31s
Verify the safety of slice functions (challenge #17) Rust Tests #2633: Pull request #603 synchronize by MavenRain
5m 27s MavenRain:17-slice
MavenRain:17-slice
5m 27s
Verify the safety of slice functions (challenge #17) Rust Tests #2632: Pull request #603 synchronize by MavenRain
5m 26s MavenRain:17-slice
MavenRain:17-slice
5m 26s
Update Kani Metrics Rust Tests #2631: Pull request #616 synchronize by github-actions Bot
4m 18s update-kani-metrics
update-kani-metrics
4m 18s
Challenge 16: Verify safety of iterator adapter functions with Kani Rust Tests #2630: Pull request #632 opened by v3risec
5m 29s v3risec:challenge-16-iter
v3risec:challenge-16-iter
5m 29s
Add RAPx tool documentation Rust Tests #2629: Pull request #631 opened by DiuDiu777
5m 15s safer-rust:rapx-tool-docs
safer-rust:rapx-tool-docs
5m 15s
Update Kani Metrics Rust Tests #2628: Pull request #616 synchronize by github-actions Bot
6m 59s update-kani-metrics
update-kani-metrics
6m 59s
Verify safety of StrSearcher (Challenge 21) Rust Tests #2627: Pull request #538 synchronize by jrey8343
4m 8s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
4m 8s
Verify safety of StrSearcher (Challenge 21) Rust Tests #2626: Pull request #538 synchronize by jrey8343
5m 5s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
5m 5s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2625: Pull request #589 synchronize by v3risec
4m 32s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 32s
Remove end dates from challenges Rust Tests #2624: Pull request #629 synchronize by feliperodri
11m 5s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
11m 5s