From dd1fe16568b7af036537011ac6c845878b97d7cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= Date: Tue, 4 Oct 2022 12:59:08 +0200 Subject: [PATCH] ci: build v1 and v2 if shell.nix is changed MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Jakub SokoĊ‚owski --- ci/Jenkinsfile.prs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs index 4db5d3f16..8177ecf50 100644 --- a/ci/Jenkinsfile.prs +++ b/ci/Jenkinsfile.prs @@ -133,7 +133,7 @@ def versionWasChanged(version) { script: "git diff --name-only origin/${env.CHANGE_TARGET}", returnStdout: true ) - if (changes =~ "(?m)^(Makefile|waku.nimble|config.nims|vendor|ci).*") { + if (changes =~ "(?m)^(Makefile|waku.nimble|config.nims|vendor|ci|shell.nix).*") { return true } if (changes =~ "(?m)^(waku|tests|examples)/(${version}|common)/.*") {