This commit is contained in:
MarcoIeni 2024-12-11 11:54:12 +01:00
parent d74de1fdb1
commit 754fb24313
No known key found for this signature in database

View file

@ -17,7 +17,9 @@ echo "::add-matcher::src/ci/github-actions/problem_matchers.json"
# the environment
rustup self uninstall -y || true
if [ -z "${IMAGE+x}" ]; then
echo "Running src/ci/run.sh"
src/ci/run.sh
else
echo "Running src/ci/docker/run.sh with image ${IMAGE}"
src/ci/docker/run.sh "${IMAGE}"
fi