argumentcomputer / argumentcomputer/Neptune.lean
Add lake build
Offen
- Vorherrschende Sprache
- Lean
- Sterne
- 1
- Forks
- 0
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
This will also be more smooth with a better integration with nix
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Rechercherichtung
Das Issue nennt keine Dateien, Tests oder Einstiegspunkte. Beginne damit, die bestehende Nix-Konfiguration und das Build-Setup des Repositorys zu untersuchen, um festzustellen, wie Lake derzeit aufgerufen wird; als erledigt sollte gelten, dass das Projekt über die angeforderte Lake/Nix-Integration gebaut wird und der genaue Befehl sowie die Verifizierung dokumentiert sind.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- build-system, tooling
- Issue-Typ
- Feature
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100