Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
1,176 workflow runs
1,176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Challenge 12: Verify safety of NonZero Rust Tests #2438: Pull request #565 synchronize by Samuelsills
37m 22s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
37m 22s
Challenge 12: Verify safety of NonZero Rust Tests #2437: Pull request #565 synchronize by Samuelsills
14m 28s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
14m 28s
Challenge 25: Verify safety of VecDeque Rust Tests #2436: Pull request #564 synchronize by Samuelsills
15m 5s Samuelsills:challenge-25-vecdeque
Samuelsills:challenge-25-vecdeque
15m 5s
Challenge 13: Verify safety of CStr Rust Tests #2435: Pull request #566 synchronize by Samuelsills
11m 26s Samuelsills:challenge-13-cstr
Samuelsills:challenge-13-cstr
11m 26s
Challenge 12: Verify safety of NonZero Rust Tests #2434: Pull request #565 synchronize by Samuelsills
4m 28s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
4m 28s
Challenge 13: Verify safety of CStr Rust Tests #2433: Pull request #566 synchronize by Samuelsills
7m 51s Samuelsills:challenge-13-cstr
Samuelsills:challenge-13-cstr
7m 51s
Challenge 25: Verify safety of VecDeque Rust Tests #2432: Pull request #564 synchronize by Samuelsills
7m 10s Samuelsills:challenge-25-vecdeque
Samuelsills:challenge-25-vecdeque
7m 10s
Challenge 12: Verify safety of NonZero Rust Tests #2431: Pull request #565 synchronize by Samuelsills
6m 35s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 35s
Challenge 13: Verify safety of CStr Rust Tests #2430: Pull request #566 opened by Samuelsills
7m 29s Samuelsills:challenge-13-cstr
Samuelsills:challenge-13-cstr
7m 29s
Challenge 12: Verify safety of NonZero Rust Tests #2429: Pull request #565 opened by Samuelsills
6m 54s Samuelsills:challenge-12-nonzero
Samuelsills:challenge-12-nonzero
6m 54s
Challenge 25: Verify safety of VecDeque Rust Tests #2428: Pull request #564 opened by Samuelsills
7m 5s Samuelsills:challenge-25-vecdeque
Samuelsills:challenge-25-vecdeque
7m 5s
Rust Tests Rust Tests #2427: Merge group checks requested
5m 18s
5m 18s
Update Kani Metrics Rust Tests #2426: Pull request #563 reopened by feliperodri
6m 9s update-kani-metrics
update-kani-metrics
6m 9s
Merge subtree update for toolchain nightly-2025-11-25 Rust Tests #2425: Pull request #530 synchronize by feliperodri
4m 35s sync-2025-11-25
sync-2025-11-25
4m 35s
Verify safety of slice iterator functions with Kani (Challenge 18) Rust Tests #2424: Pull request #560 synchronize by jrey8343
4m 57s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
4m 57s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Rust Tests #2423: Pull request #559 synchronize by jrey8343
5m 9s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
5m 9s
Verify safety of Vec functions with VeriFast (Challenge 23) Rust Tests #2422: Pull request #561 synchronize by jrey8343
4m 48s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
4m 48s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Rust Tests #2421: Pull request #559 synchronize by jrey8343
5m 56s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
5m 56s
Verify safety of slice iterator functions with Kani (Challenge 18) Rust Tests #2420: Pull request #560 synchronize by jrey8343
4m 15s jrey8343:challenge-18-slice-iter
jrey8343:challenge-18-slice-iter
4m 15s
Verify safety of slice functions with VeriFast + Kani (Challenge 17) Rust Tests #2419: Pull request #559 synchronize by jrey8343
6m 22s jrey8343:challenge-17-slice
jrey8343:challenge-17-slice
6m 22s
Verify safety of Vec functions with VeriFast (Challenge 23) Rust Tests #2418: Pull request #561 synchronize by jrey8343
4m 28s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
4m 28s
Verify safety of Vec functions with VeriFast (Challenge 23) Rust Tests #2417: Pull request #561 synchronize by jrey8343
4m 10s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
4m 10s
Verify safety of Vec functions with VeriFast (Challenge 23) Rust Tests #2416: Pull request #561 synchronize by jrey8343
4m 24s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
4m 24s
Verify safety of Vec IntoIter functions with VeriFast (Challenge 24) Rust Tests #2415: Pull request #562 synchronize by jrey8343
4m 56s jrey8343:challenge-24-vec-pt2
jrey8343:challenge-24-vec-pt2
4m 56s
Verify safety of Vec functions with VeriFast (Challenge 23) Rust Tests #2414: Pull request #561 synchronize by jrey8343
10m 18s jrey8343:challenge-23-vec-pt1
jrey8343:challenge-23-vec-pt1
10m 18s