Hard to reproduce data race
ErikNatanael opened this issue · 0 comments
ErikNatanael commented
Miri on Github actions reported a data race for the parallel_mutation test. I'm unable to reproduce it running miri locally, but the synchronisation method for removing nodes should be verified and probably fixed/improved.
Failed miri job:
https://github.com/ErikNatanael/knyst/actions/runs/3271487615/jobs/5381695108