Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

Add more Nix versions to test CI workflow

Ouverte
#136 0 commentaires 0 réactions 1 personne assignée Voir sur GitHub

@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

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de runtimeverification/kup

Toutes les issues de runtimeverification/kup

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.