Merge pull request #40 from sgibson91/debugging-r2d-workflow

.github/workflows/build-images.yaml

@@ -8,11 +8,6 @@ on:
       - main
     paths:
       - "images/**"
-  pull_request:
-    branches:
-      - main
-    paths:
-      - "images/**"
 
 # When multiple PRs triggering this workflow are merged, queue them instead
 # of running them in parallel in case of clashes when pushing
@@ -64,8 +59,6 @@ jobs:
       matrix:
         jobs: ${{ fromJson(needs.generate-build-matrix.outputs.images-to-build) }}
     steps:
-      - run: echo "${{ github.event_name == 'pull_request' }}"
-
       # For biggish images, github actions runs out of disk space.
       # So we cleanup some unwanted things in the disk image, and reclaim that space for our docker use
       # https://github.com/actions/virtual-environments/issues/2606#issuecomment-772683150
@@ -98,11 +91,7 @@ jobs:
           # Tell repo2docker which subdirectory to examine
           # 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' }}
-
+
       # Lets us monitor disks getting full as images get bigger over time
       - name: Show how much disk space is left
         run: df -h