macOS build deadlocks nondeterministically #33
Description
As seen here for example. My conjecture there was that this is due to the mutex in the lakefile.lean, but reproducing it locally it seems that there is sometimes a stray npm run build -- --tsxName <blah> process that never exits. This would suggest that the issue is actually something with NPM or Rollup.js.