Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
875 workflow runs
875 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 21: Verify safety of StrSearcher with Kani Rust Tests #2811: Pull request #621 synchronize by v3risec
Queued v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
Queued
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2810: Pull request #582 synchronize by v3risec
6m 0s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 0s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2809: Pull request #587 synchronize by v3risec
4m 57s v3risec:challenge-27-arc
v3risec:challenge-27-arc
4m 57s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2808: Pull request #589 synchronize by v3risec
4m 15s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 15s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2807: Pull request #620 synchronize by v3risec
4m 41s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
4m 41s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2806: Pull request #589 synchronize by v3risec
4m 29s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 29s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2805: Pull request #587 synchronize by v3risec
5m 6s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 6s
Verify safety of iterator adapter functions (Challenge 16) Rust Tests #2804: Pull request #549 synchronize by kasimte
4m 48s kasimte:challenge-16
kasimte:challenge-16
4m 48s
Challenge 12: safety and correctness of NonZero (#637) Rust Tests #2803: Commit 43bd3b1 pushed by github-merge-queue Bot
14m 50s main
main
14m 50s
Challenge 12: safety and correctness of NonZero (#637) Rust Tests #2802: Commit 43bd3b1 pushed by github-merge-queue Bot
5m 32s gh-readonly-queue/main/pr-637-4cdcd737c646420ca8bb10fa16b44817d9a655fc
gh-readonly-queue/main/pr-637-4cdcd737c646420ca8bb10fa16b44817d9a655fc
5m 32s
Rust Tests Rust Tests #2801: Merge group checks requested
7m 41s
7m 41s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2800: Pull request #620 synchronize by v3risec
11m 0s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
11m 0s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2799: Pull request #620 synchronize by v3risec
5m 33s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
5m 33s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2798: Pull request #620 synchronize by v3risec
5m 22s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
5m 22s
Challenge 21: Verify safety of StrSearcher with Kani Rust Tests #2797: Pull request #621 synchronize by v3risec
4m 33s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
4m 33s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2796: Pull request #587 synchronize by v3risec
5m 42s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 42s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2795: Pull request #582 synchronize by v3risec
4m 17s v3risec:challenge-26-rc
v3risec:challenge-26-rc
4m 17s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2794: Pull request #582 synchronize by v3risec
5m 13s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 13s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2793: Pull request #620 synchronize by v3risec
3m 50s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
3m 50s
Rust Tests Rust Tests #2792: Merge group checks requested
11m 23s
11m 23s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2791: Pull request #620 synchronize by v3risec
4m 30s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
4m 30s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2790: Pull request #582 synchronize by v3risec
5m 39s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 39s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2789: Pull request #620 synchronize by v3risec
4m 30s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
4m 30s
Challenge 20: Verify Char Searcher with Kani Rust Tests #2788: Pull request #620 synchronize by v3risec
5m 33s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
5m 33s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2787: Pull request #587 synchronize by v3risec
4m 29s v3risec:challenge-27-arc
v3risec:challenge-27-arc
4m 29s