Add more Nix versions to test CI workflow
@juliankuners arbeitet bereits daran.
Seit 31.7.2025.
Bewertung
Dieses Issue wurde noch nicht bewertet.
Beschreibung
Related: https://github.com/runtimeverification/kup/issues/135.
We should test kup installation and functionality on more than the current fixed Nix version, possibly using a matrix of versions or relying on Cachix; to be extended by @juliankuners.
- Vorherrschende Sprache
- Python
- Sterne
- 10
- Forks
- 2
- Ø Merge
- 6 T. 2 Std.
- Gemergte PRs (30 T.)
- 2
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus runtimeverification/kup
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 52/100
runtimeverification/kup#149 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againEvtl. wieder frei @juliankuners hat das vor 454 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kup#137 · 1 Kommentar · 1 zugewiesene Person ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsEvtl. wieder frei @juliankuners hat das vor 454 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kup#135 · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/kup#121 · 1 Kommentar ·
Alle Issues in runtimeverification/kup
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
Maintainer antworten meist innerhalb von 1 Tag
-
[oblt-aw][autodoc] Document obs-aw-automerge contract and fix automerge doc inconsistenciesEvtl. vergeben @github-actions hat das heute übernommen. Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
Maintainer antworten meist innerhalb von 1 Tag
-
admission-deferred priority: medium status: ready work-class: scoped
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
melodic-software/claude-code-plugins#10887 · 4 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag
-
backend bug good first issue
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
PoCInnovation/Distribox#255 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
google/langextract#598 ·
Maintainer antworten meist innerhalb von 1 Tag