diff --git a/ci.sh b/ci.sh index abfc9cc43f..602bf68689 100755 --- a/ci.sh +++ b/ci.sh @@ -76,7 +76,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