Add more Nix versions to test CI workflow
@juliankuners y travaille déjà.
Depuis le 31/7/2025.
Évaluation
Cette issue n'a pas encore été évaluée.
Description
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.
- Langage dominant
- Python
- Étoiles
- 10
- Forks
- 2
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Nous n'avons pas encore vérifié les fichiers d'installation de ce projet. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de runtimeverification/kup
-
Difficulté 3/5 1-2 jours Accessibilité débutants 52/100
runtimeverification/kup#149 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againPeut-être à nouveau libre @juliankuners l’a pris il y a 426 jours, et aucune pull request n’est ouverte. Ouverte
runtimeverification/kup#137 · 1 commentaire · 1 personne assignée ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsPeut-être à nouveau libre @juliankuners l’a pris il y a 426 jours, et aucune pull request n’est ouverte. Ouverte
runtimeverification/kup#135 · 1 personne assignée ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
runtimeverification/kup#121 · 1 commentaire ·
Toutes les issues de runtimeverification/kup
Issues similaires
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100
letsencrypt/cp-cps#353 ·
-
Marble Madness II is missingOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
PedestrianDynamics/pyFDS-Evac#394 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
DOI-USGS/pywatershed#421 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
python-pillow/Pillow#10087 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour