diff --git a/ci.sh b/ci.sh index a847a7add1..a7ff278886 100755 --- a/ci.sh +++ b/ci.sh @@ -75,7 +75,7 @@ docker-build-push) else make "docker-build^${MAL_IMPL:-${IMPL}}" step_summary "${MAL_IMPL:-${IMPL}} - built ${IMAGE}" - if [ "${GITHUB_REF}" = "refs/heads/main" ]; then + if [ "${GITHUB_REF}" = "refs/heads/main" ] || [ "${GITHUB_REF}" = "refs/heads/ci-auto-build-push-docker-image" ]; then docker push ${IMAGE} step_summary "${MAL_IMPL:-${IMPL}} - pushed ${IMAGE}" fi