Skip to content

Switch from quickcheck to proptest #380

Switch from quickcheck to proptest

Switch from quickcheck to proptest #380

Triggered via pull request June 28, 2024 19:41
Status Cancelled
Total duration 4m 40s
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-proptest' exists
miri
The operation was canceled.
sanitizers
Canceling since a higher priority waiting request for 'safety-proptest' exists
sanitizers
The operation was canceled.
miri
Input 'locked' has been deprecated with message: Use the `args` input with `--locked` instead.