Skip to content
Snippets Groups Projects
Commit 7f9d2e55 authored by Ruben Vorderman's avatar Ruben Vorderman
Browse files

Only check changed wdl files

parent 0e2a15b3
No related branches found
No related tags found
No related merge requests found
......@@ -58,30 +58,33 @@ jobs:
- name: Update test environment
run: mamba env update -n biowdl-lint -f .github/lint-environment.yml
if: steps.env_cache.outputs.cache-hit != 'true'
- name: Fetch develop branch for comparisons
run: git fetch --depth=1 origin develop
- name: run womtool validate
# 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 '
git fetch --depth=1 origin develop
for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do
for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E \'*.wdl$\'); do
womtool validate $WDL_FILE
done
'
- name: run miniwdl check
run: bash -c 'miniwdl check $(git ls-files *.wdl)'
- name: Check copyright headers
run: |
bash -c '
for WDL_FILE in $(git ls-files *.wdl); do
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: |
bash -c '
for WDL_FILE in $(git ls-files *.wdl); do
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
then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment