Workflow runs · model-checking/verify-rust-std

Actions

All workflows
Workflows
- Build Book Build Book
- Kani Kani
- Rust Tests Rust Tests
- Bump dependencies in Cargo.lock Bump dependencies in Cargo.lock
- Check PR Approvals Check PR Approvals
- CI CI
- CodeQL CodeQL
- Copilot code review Copilot code review
- Dependabot Updates Dependabot Updates
- Flux Flux
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

Challenge 29: Verify safety of Box functions Run GOTO Transcoder (ESBMC) #1281: Pull request #573 synchronize by Samuelsills

17m 41s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

17m 41s

Challenge 29: Verify safety of Box functions Kani #2557: Pull request #573 synchronize by Samuelsills

1h 7m 36s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

1h 7m 36s

Challenge 29: Verify safety of Box functions Build Book #2403: Pull request #573 synchronize by Samuelsills

6m 42s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

6m 42s

Challenge 29: Verify safety of Box functions Flux #505: Pull request #573 synchronize by Samuelsills

2m 58s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

2m 58s

Challenge 29: Verify safety of Box functions Testable simd models #269: Pull request #573 synchronize by Samuelsills

5m 11s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

5m 11s

Challenge 29: Verify safety of Box functions VeriFast #1233: Pull request #573 synchronize by Samuelsills

37s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

37s

Challenge 29: Verify safety of Box functions VeriFast (negative) #1219: Pull request #573 synchronize by Samuelsills

34s Samuelsills:challenge-29-box

Samuelsills:challenge-29-box

34s

Subtree Update Subtree Update #444: Scheduled

6m 41s main

main

6m 41s

Subtree Update Subtree Update #443: Scheduled

6m 30s main

main

6m 30s

New challenge: Progress Public MIR Kani #2556: Pull request #592 opened by dkcumming

1h 13m 7s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

1h 13m 7s

New challenge: Progress Public MIR Build Book #2402: Pull request #592 opened by dkcumming

6m 49s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

6m 49s

New challenge: Progress Public MIR Flux #504: Pull request #592 opened by dkcumming

2m 32s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

2m 32s

New challenge: Progress Public MIR VeriFast #1232: Pull request #592 opened by dkcumming

36s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

36s

New challenge: Progress Public MIR Testable simd models #268: Pull request #592 opened by dkcumming

5m 25s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

5m 25s

New challenge: Progress Public MIR Rust Tests #2515: Pull request #592 opened by dkcumming

5m 19s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

5m 19s

New challenge: Progress Public MIR Run GOTO Transcoder (ESBMC) #1280: Pull request #592 opened by dkcumming

15m 9s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

15m 9s

New challenge: Progress Public MIR VeriFast (negative) #1218: Pull request #592 opened by dkcumming

34s runtimeverification:challenge_public_mir

runtimeverification:challenge_public_mir

34s

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Check PR Approvals #1928: Pull request #589 submitted by Copilot AI

19s

Copilot code review Copilot code review #25: by Copilot AI

7m 36s refs/pull/589/head

refs/pull/589/head

7m 36s

Merge subtree update for toolchain nightly-2025-12-03 Build Book #2401: Pull request #590 opened by github-actions Bot