Run race detector in CI
This commits adds a make test-race
step to CI. This would have caught
some race conditions present in our code.
Closes #285 (moved)
Edited by Stan Hu
This commits adds a make test-race
step to CI. This would have caught
some race conditions present in our code.
Closes #285 (moved)