Skip to content

Minor Improvements #262

Minor Improvements

Minor Improvements #262

Triggered via pull request May 19, 2024 21:38
Status Cancelled
Total duration 4m 17s
Artifacts

safety.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
miri
Canceling since a higher priority waiting request for 'safety-minor_improvements' exists
miri
The operation was canceled.
sanitizers
Canceling since a higher priority waiting request for 'safety-minor_improvements' exists
sanitizers
The operation was canceled.
miri
Input 'locked' has been deprecated with message: Use the `args` input with `--locked` instead.