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

Only chek files that are different from the base with womtool validate

parent d9638187
No related branches found
No related tags found
No related merge requests found
......@@ -60,9 +60,11 @@ jobs:
if: steps.env_cache.outputs.cache-hit != 'true'
- 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 '
for WDL_FILE in $(git ls-files *.wdl); do
for WDL_FILE in $(git diff --name-only ${{github.base_ref}} | grep -E '*.wdl$'); do
womtool validate $WDL_FILE
done
'
......
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