From 3baad1fb3d2da0bf63678634be637a19e7abc338 Mon Sep 17 00:00:00 2001 From: Sarah Gibson Date: Wed, 22 Nov 2023 11:43:10 +0000 Subject: [PATCH] Disable NO_PUSH option - hence always push the image --- .github/workflows/build-images.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-images.yaml b/.github/workflows/build-images.yaml index d598b01..ea960ec 100644 --- a/.github/workflows/build-images.yaml +++ b/.github/workflows/build-images.yaml @@ -99,9 +99,9 @@ jobs: # ref: https://repo2docker.readthedocs.io/en/latest/usage.html#cmdoption-jupyter-repo2docker-subdir REPO2DOCKER_EXTRA_ARGS: "--subdir images/${{ matrix.jobs.image-name }}" - # If the event that triggered this workflow was a pull request, the image - # will be built but not pushed to the registry - NO_PUSH: ${{ github.event_name == 'pull_request' }} + # # If the event that triggered this workflow was a pull request, the image + # # will be built but not pushed to the registry + # NO_PUSH: ${{ github.event_name == 'pull_request' }} # Lets us monitor disks getting full as images get bigger over time - name: Show how much disk space is left