diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index e6edbbab42ede61c41f171ec01e21d5acce8d2a9..622e05815d4d64b390ac5437609b94f26d7f3e7c 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -66,6 +66,7 @@ jobs: # Womtool validate checks very slowly, so this saves a lot of time. run: | bash -c " + set -x for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do womtool validate $WDL_FILE done