Skip to content
Miri

refactor(traverse): remove unnecessary #[allow] #2407

Sign in to view logs

refactor(traverse): remove unnecessary #[allow]

refactor(traverse): remove unnecessary #[allow] #2407

Triggered via pull request January 15, 2025 17:25
@overlookmoteloverlookmotel
opened #8518
01-15-refactor_traverse_remove_unnecessary_allow_
Status Cancelled
Total duration 3m 0s
Artifacts –

miri.yml

on: pull_request
Miri
2m 49s
Miri
Fit to window
Zoom out
Zoom in

Annotations

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