leanprover-community/ProofWidgets4

macOS build deadlocks nondeterministically

Offen

#33 geöffnet am 08.11.2023

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Lean (45 Forks)auto 404
bughelp wanted

Repository-Metriken

Stars
 (219 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Reproduzieren Sie den Deadlock lokal auf macOS, überwachen Sie überflüssige npm Prozesse und überprüfen Sie, ob das Problem bei npm oder Rollup.js liegt, indem Sie die Build Schritte manuell ausführen.
Tech Stack
javascript
Domain
build system
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Recherche nötig
Voraussetzungen
LeanmacOSnpm
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40