From 37faa1b46883bb93c6e926141d6145b3ead9fafd Mon Sep 17 00:00:00 2001
From: Ruben Vorderman <r.h.p.vorderman@lumc.nl>
Date: Fri, 11 Feb 2022 16:50:07 +0100
Subject: [PATCH] Use heredoc script
---
.github/workflows/lint.yml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 622e058..7eb6fe5 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -65,25 +65,25 @@ jobs:
# Only check files that have changed from the base reference.
# Womtool validate checks very slowly, so this saves a lot of time.
run: |
- bash -c "
+ bash <<- SCRIPT
set -x
for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do
womtool validate $WDL_FILE
done
- "
+ SCRIPT
- name: run miniwdl check
run: bash -c 'miniwdl check $(git ls-files *.wdl)'
- name: Check copyright headers
run: |
- bash -c '
+ bash <<- SCRIPT
for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do
grep Copyright $WDL_FILE || bash -c "echo No copyright header in $WDL_FILE && exit 1"
done
- '
+ SCRIPT
- name: Check parameter_meta for inputs
run: |
- bash -c "
+ bash <<- SCRIPT
for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do
wdl-aid --strict $WDL_FILE > /dev/null 2> wdl-aid_stderr ||
if grep -z 'ValueError: Missing parameter_meta for inputs:' wdl-aid_stderr
@@ -91,4 +91,4 @@ jobs:
exit 1
fi
done
- "
+ SCRIPT
--
GitLab