diff --git a/.github/workflows/docker_rebuild.yml b/.github/workflows/docker_rebuild.yml index cf7f0ccfd91..93a5a4803c1 100644 --- a/.github/workflows/docker_rebuild.yml +++ b/.github/workflows/docker_rebuild.yml @@ -8,11 +8,14 @@ on: - master paths: - 'utils/docker/images/**' + - '.github/workflows/docker_rebuild.yml' + push: branches: - master paths: - 'utils/docker/images/**' + - '.github/workflows/docker_rebuild.yml' schedule: # run this job at 22:00 UTC every other day (hopefully just before the nightly) - cron: '0 22 */2 * *' diff --git a/utils/docker/pull-or-rebuild-image.sh b/utils/docker/pull-or-rebuild-image.sh index a1e3e7cff03..1926d995cb2 100755 --- a/utils/docker/pull-or-rebuild-image.sh +++ b/utils/docker/pull-or-rebuild-image.sh @@ -71,6 +71,11 @@ function push_image { popd else echo "Skip pushing the image to the ${DOCKER_REPO}." + echo "CI_REPO_SLUG: ${CI_REPO_SLUG}" + echo "GITHUB_REPO: ${GITHUB_REPO}" + echo "CI_BRANCH: ${CI_BRANCH}" + echo "CI_EVENT_TYPE: ${CI_EVENT_TYPE}" + echo "PUSH_IMAGE: ${PUSH_IMAGE}" fi }