Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
828 workflow runs
828 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
Update Kani Metrics Rust Tests #2550: Pull request #604 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Verify the safety of slice functions (challenge #17) Rust Tests #2549: Pull request #603 opened by MavenRain
4m 24s MavenRain:17-slice
MavenRain:17-slice
4m 24s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Rust Tests #2548: Pull request #602 synchronize by MavenRain
4m 3s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
4m 3s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2547: Pull request #601 synchronize by MavenRain
4m 31s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
4m 31s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Rust Tests #2546: Pull request #602 opened by MavenRain
4m 48s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
4m 48s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2545: Pull request #601 synchronize by MavenRain
4m 17s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
4m 17s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2544: Pull request #601 synchronize by MavenRain
4m 12s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
4m 12s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2543: Pull request #601 opened by MavenRain
3m 59s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
3m 59s
Rust Tests Rust Tests #2542: Merge group checks requested
4m 26s
4m 26s
Update Kani Metrics Rust Tests #2541: Pull request #597 synchronize by github-actions Bot
4m 38s update-kani-metrics
update-kani-metrics
4m 38s
Add Kani contracts and harnesses for NonZero (Challenge 12) Rust Tests #2540: Pull request #600 opened by kasimte
5m 35s kasimte:challenge-12-nonzero
kasimte:challenge-12-nonzero
5m 35s
Challenge 24: Verify Vec Part2 safety with Kani Rust Tests #2539: Pull request #599 opened by v3risec
4m 46s v3risec:challenge-24-vec-part2
v3risec:challenge-24-vec-part2
4m 46s
Challenge 23: Verify Vec Part1 safety with Kani Rust Tests #2538: Pull request #598 opened by v3risec
5m 9s v3risec:challenge-23-vec-part1
v3risec:challenge-23-vec-part1
5m 9s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2537: Pull request #587 synchronize by v3risec
5m 30s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 30s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Rust Tests #2536: Pull request #589 synchronize by v3risec
4m 36s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
4m 36s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2535: Pull request #596 synchronize by gui-wf
4m 23s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
4m 23s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2534: Pull request #596 synchronize by gui-wf
4m 38s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
4m 38s
Rust Tests Rust Tests #2533: Merge group checks requested
4m 28s
4m 28s
Update Kani Metrics Rust Tests #2532: Pull request #593 reopened by feliperodri
4m 39s update-kani-metrics
update-kani-metrics
4m 39s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2531: Pull request #596 synchronize by gui-wf
4m 22s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
4m 22s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2530: Pull request #596 synchronize by gui-wf
4m 5s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
4m 5s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2529: Pull request #596 synchronize by gui-wf
3m 53s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
3m 53s
Challenge 28 (flt2dec): 12 of 12 functions verified via Kani Rust Tests #2528: Pull request #596 opened by gui-wf
4m 5s gui-wf:challenge-28-flt2dec-helpers
gui-wf:challenge-28-flt2dec-helpers
4m 5s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2527: Pull request #582 synchronize by v3risec
5m 57s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 57s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2526: Pull request #587 synchronize by v3risec
5m 48s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 48s