From b54c140de4fc0bf31d7c95384831aedb253f35a3 Mon Sep 17 00:00:00 2001
From: Ruben Vorderman <r.h.p.vorderman@lumc.nl>
Date: Wed, 9 Feb 2022 15:44:50 +0100
Subject: [PATCH] Only chek files that are different from the base with womtool
validate
---
.github/workflows/lint.yml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index a3c3287..332a9e0 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -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
'
--
GitLab