Hacktoberfest 2026:维护者为十月标记出来的 issue,仍然开放、适合新手。 浏览 Hacktoberfest issue

Add more Nix versions to test CI workflow

未关闭
#136 0 条评论 0 个 reaction 已指派 1 人 在 GitHub 查看

@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,通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

runtimeverification/kup 的其他 Issue

查看 runtimeverification/kup 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。