From d3f4804f4d4e6b5b4610fe377f6ff24e4368ae09 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Mon, 15 Mar 2021 12:03:44 +0100 Subject: [PATCH] Proper check for the check-globals script --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fe23dad3..88b50378 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,7 +76,7 @@ jobs: - name: Check globals run: | - [ -x test/rename-globals.sh ] && test/rename-globals.sh + if [ -x test/rename-globals.sh ]; then test/rename-globals.sh; fi other-comp: runs-on: ubuntu-latest