diff --git a/tools/ci-run.bash b/tools/ci-run.bash
index def5839..86cb7af 100755
--- a/tools/ci-run.bash
+++ b/tools/ci-run.bash
@@ -4,4 +4,5 @@ set -euo pipefail
 
 echo "${DOCKER_PASSWORD}" | sudo -E docker login --username "${DOCKER_USERNAME}" --password-stdin
 
+make shell I=runtime CMD="make system"
 make publish Z=1