test: add test for a specific data race error on miri #7
zetanumberspush-check.yml
on: push
Minimal supported version check
52s
Miri test
40s
Annotations
1 error
|
Miri test
Process completed with exit code 1.
|