leanprover-community/ProofWidgets4
macOS build deadlocks nondeterministically
オープン
#33 opened on 2023/11/08
bughelp wanted
Repository metrics
- Stars
- (219 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
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.