diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 61e3d99f070cfc1e889d5c6421541a34f9868aba..7ef19e58f4bc9c209c3cfffa3ea51359c9afe069 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -71,15 +71,19 @@ jobs: womtool validate $WDL_FILE done - name: run miniwdl check - run: bash -c 'miniwdl check $(git ls-files *.wdl)' + run: | + set -x + bash -c 'miniwdl check $(git ls-files *.wdl)' - name: Check copyright headers run: | + set -x 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 - name: Check parameter_meta for inputs run: | + set -x 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