Add more Nix versions to test CI workflow
@juliankuners がすでに取り組んでいます。
2025年7月31日 から。
評価
この issue はまだ評価されていません。
説明
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.
- 主要言語
- Python
- スター
- 10
- フォーク
- 2
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/kup のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
runtimeverification/kup#149 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings again再び着手できるかも @juliankuners が 436 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#137 · コメント 1 件 · 担当者 1 名 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions再び着手できるかも @juliankuners が 436 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#135 · 担当者 1 名 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/kup#121 · コメント 1 件 ·
runtimeverification/kup の issue をすべて見る
似ている issue
-
area:space-accuracy good first issue track:data
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
Sara-Managed-Projects/space-radar#904 ·
メンテナーはふだん 1 日以内に返信