leanprover-community/ProofWidgets4

macOS build deadlocks nondeterministically

Aberta

#33 aberto em 8 de nov. de 2023

Ver no GitHub
 (2 comentários) (0 reação) (0 responsável)Lean (45 forks)auto 404
bughelp wanted

Métricas do repositório

Stars
 (219 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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.

Guia do colaborador

Direção de pesquisa
Reproduza o deadlock localmente no macOS, monitore processos npm indesejados e verifique se o problema é com o npm ou Rollup.js executando manualmente as etapas de build.
Pilha de tecnologia
javascript
Domain
build system
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Precisa de investigação
Prerequisites
LeanmacOSnpm
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40