From 752b8cb4a8407908348d8424fdc4b89d3219fdad Mon Sep 17 00:00:00 2001
From: Ruben Vorderman <r.h.p.vorderman@lumc.nl>
Date: Wed, 9 Feb 2022 16:17:33 +0100
Subject: [PATCH] Git fetch develop
---
.github/workflows/lint.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index c78b259..9a50e2e 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -64,6 +64,7 @@ jobs:
# 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
womtool validate $WDL_FILE
done
--
GitLab