pre-pull the containers

common-workflow-language · Sep 20, 2022 · 86106a0 · 86106a0
1 parent 44a23e1
commit 86106a0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml
@@ -42,6 +42,9 @@ jobs:
       - name: Install dependencies
         run: python3 -m pip install -U -e .[all]
 
+      - name: pre-pull container images
+        run: make container-pull
+
       - name: Build documentation
         run: make html
 

diff --git a/Makefile b/Makefile
@@ -39,6 +39,9 @@ unittest-examples:
 check-json:
 	python -m json.tool < src/.zenodo.json >> /dev/null && exit 0 || echo "NOT valid JSON"; exit 1
 
+container-pull:
+	for container in $$(git grep dockerPull $$(git ls-files *.cwl) | awk '-F: ' '{print $$3}'); do docker pull $${container}; done
+
 .PHONY: help clean watch unittest-examples check-json Makefile
 
 # Catch-all target		: route all unknown targets to Sphinx using the new