also deploy duneci-runner-gc

1651a5da · Ansgar Burchardt · 2e89fe56 · 1651a5da
Commit 1651a5da authored May 20, 2019 by Ansgar Burchardt
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

bin/duneci-deploy bin/duneci-deploy +1 -0

No files found.
--- a/bin/duneci-deploy
+++ b/bin/duneci-deploy
@@ -6,6 +6,7 @@ export PATH="${bindir}:$PATH"
 duneci-proxy gitlab-ci-dune dune-proxy
 duneci-proxy gitlab-ci-fu fu-proxy
 duneci-runner
+duneci-runner-gc

 echo "gitlab-runner version information:"
 docker exec gitlab-runner gitlab-runner -v