From 30ed774a9aadd5b2669d88c930274538e84fb3d1 Mon Sep 17 00:00:00 2001 From: Hugh Nimmo-Smith Date: Tue, 3 Oct 2023 11:51:57 +0100 Subject: [PATCH] Whitespace --- .github/workflows/build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 0c95413ba..430ec3e4a 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -6,7 +6,7 @@ on: tags: - 'v*' paths-ignore: - - 'tools/**' + - 'tools/**' # Only run for pull requests if relevant files were changed pull_request: