启用 GitHub 合并队列
作者: Zac-HD创建于 2023年2月9日更新于 2026年5月25日
标签tests/build/CI
我们刚刚获得了 GitHub 合并队列 的测试访问权限,这非常棒。 特别是,这将确保我们不再有在将 PR 合并到 master 以及我们的 CD 系统部署它并推送修复更改日志等的窗口中出现合并冲突。 此外,它还避免了在两个 PR 分别通过了独立测试但一起失败的语义合并冲突,但到目前为止,对于 Hypothesis 来说,这种情况并不是太大的问题。 任务:
内容来源: HypothesisWorks/hypothesis