Skip to content

Actions: model-checking/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
738 workflow runs
738 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
Attribute cfg(kani) harnesses to their crate in log_parser Rust Tests #2579: Pull request #609 opened by MavenRain
4m 42s MavenRain:463-crate-from-file-path
MavenRain:463-crate-from-file-path
4m 42s
New challenge: Progress Public MIR Rust Tests #2578: Pull request #592 synchronize by palinatolmach
5m 50s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
5m 50s
New challenge: Progress Public MIR Rust Tests #2577: Pull request #592 synchronize by palinatolmach
4m 52s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
4m 52s
New challenge: Progress Public MIR Rust Tests #2576: Pull request #592 synchronize by palinatolmach
4m 29s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
4m 29s
New Challenge: Enrich MIR Consts Rust Tests #2575: Pull request #595 synchronize by palinatolmach
5m 27s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
5m 27s
New Challenge: Enrich MIR Consts Rust Tests #2574: Pull request #595 synchronize by palinatolmach
5m 17s runtimeverification:challenge_enrich_mir_const
runtimeverification:challenge_enrich_mir_const
5m 17s
New challenge: Progress Public MIR Rust Tests #2573: Pull request #592 synchronize by palinatolmach
4m 13s runtimeverification:challenge_public_mir
runtimeverification:challenge_public_mir
4m 13s
Rust Tests Rust Tests #2572: Merge group checks requested
5m 39s
5m 39s
Update Kani Metrics Rust Tests #2571: Pull request #607 synchronize by github-actions Bot
4m 16s update-kani-metrics
update-kani-metrics
4m 16s
Verify the safety of slice functions (challenge #17) Rust Tests #2570: Pull request #603 synchronize by MavenRain
5m 18s MavenRain:17-slice
MavenRain:17-slice
5m 18s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Rust Tests #2569: Pull request #602 synchronize by MavenRain
6m 0s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
6m 0s
Verify core::num::flt2dec memory safety (challenge #28) Rust Tests #2568: Pull request #601 synchronize by MavenRain
4m 51s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
4m 51s
Update Kani Metrics Rust Tests #2567: Pull request #607 opened by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Challenge 28: Verify flt2dec safety with Kani Rust Tests #2566: Pull request #606 synchronize by v3risec
5m 20s v3risec:challenge-28-flt2dec
v3risec:challenge-28-flt2dec
5m 20s
Challenge 28: Verify flt2dec safety with Kani Rust Tests #2565: Pull request #606 opened by v3risec
5m 4s v3risec:challenge-28-flt2dec
v3risec:challenge-28-flt2dec
5m 4s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2564: Pull request #605 synchronize by v3risec
5m 20s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
5m 20s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2563: Pull request #605 synchronize by v3risec
5m 2s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
5m 2s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2562: Pull request #605 synchronize by v3risec
4m 44s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
4m 44s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2561: Pull request #605 synchronize by v3risec
5m 56s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
5m 56s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2560: Pull request #605 synchronize by v3risec
5m 32s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
5m 32s
Challenge 25: Verify Vecdeque safety with Kani Rust Tests #2559: Pull request #605 opened by v3risec
4m 47s v3risec:challenge-25-vecdeque
v3risec:challenge-25-vecdeque
4m 47s
Rust Tests Rust Tests #2558: Merge group checks requested
5m 38s
5m 38s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Rust Tests #2557: Pull request #587 synchronize by v3risec
5m 32s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 32s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Rust Tests #2556: Pull request #582 synchronize by v3risec
4m 34s v3risec:challenge-26-rc
v3risec:challenge-26-rc
4m 34s
Update Kani Metrics Rust Tests #2555: Pull request #604 synchronize by github-actions Bot
5m 19s update-kani-metrics
update-kani-metrics
5m 19s