From ece133221af55be8ff50379f339eeaa3ba997f92 Mon Sep 17 00:00:00 2001 From: jakubgs Date: Tue, 4 Oct 2022 18:10:37 +0000 Subject: [PATCH] deploy: 995441234455d303e211a8471913817d635f2726 --- ci/Jenkinsfile.prs | 2 +- shell.nix | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) 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)/.*") { diff --git a/shell.nix b/shell.nix index 9f3206753..1b76081fb 100644 --- a/shell.nix +++ b/shell.nix @@ -10,7 +10,6 @@ pkgs.mkShell { buildInputs = with pkgs; [ git # 2.37.3 which # 2.21 - gcc # 11.3.0 rustc # 1.63.0 ] ++ lib.optionals stdenv.isDarwin [ libiconv ]; }