Force pull before xp

2020-02-02 00:02:42 +01:00 · 2020-02-02 00:02:42 +01:00 · 86a476cc47
parent 1f43970e23
commit 86a476cc47
1 changed files with 1 additions and 0 deletions
--- a/scripts/run-3
+++ b/scripts/run-3
@ -39,6 +39,7 @@ done

 echo ":: Bootstrap"
 echo "Create output folder..."
+docker pull registry.gitlab.inria.fr/qdufour/donar
 docker run \
  --rm \
  --user root \