Skip to content
Miri

refactor(traverse): harden soundness of Traverse and document safety invariants better #2402

Sign in to view logs

refactor(traverse): harden soundness of Traverse and document safety invariants better

refactor(traverse): harden soundness of Traverse and document safety invariants better #2402

Triggered via pull request January 15, 2025 13:42
@overlookmoteloverlookmotel
synchronize #8507
01-15-refactor_traverse_harden_soundness_of_traverse_and_document_safety_invariants_better
Status Cancelled
Total duration 1m 35s
Artifacts –

miri.yml

on: pull_request
Miri
1m 24s
Miri
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Miri
Canceling since a higher priority waiting request for 'Miri-8507' exists
Miri
The operation was canceled.