leanprover-community/ProofWidgets4

macOS build deadlocks nondeterministically

开放

#33 创建于 2023年11月8日

在 GitHub 查看
 (2 条评论) (0 个反应) (0 位负责人)Lean (45 个派生)auto 404
bughelp wanted

仓库指标

星标
 (219 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

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.

贡献者指南

研究方向
在macOS上本地重现死锁，监控多余的npm进程，并通过手动运行构建步骤检查问题是否出在npm或Rollup.js。
技术栈
javascript
领域
build system
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
需要先调研
前置要求
LeanmacOSnpm
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
40