Skip to content

Exclude some slow tests from miri #143

Exclude some slow tests from miri

Exclude some slow tests from miri #143

Triggered via pull request May 5, 2024 16:21
Status Cancelled
Total duration 7m 43s
Artifacts

safety.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

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