Push built image manually

Temporary, until we can set the push timeout in r2d properly

Fixes #20

.github/workflows/build.yaml

@@ -24,10 +24,15 @@ jobs:
 
     - name: Update jupyter dependencies with repo2docker
       uses: jupyterhub/repo2docker-action@master
+      id: r2d
       with:
         # Make sure username & password/token pair matches your registry credentials
         DOCKER_USERNAME: ${{ secrets.QUAY_USERNAME }}
         DOCKER_PASSWORD: ${{ secrets.QUAY_PASSWORD }}
         DOCKER_REGISTRY: "quay.io"
-
+        NO_PUSH: "true"
         IMAGE_NAME: "2i2c/utoronto-image"
+
+    - name: docker push
+      # FIXME: Due to timeouts in the r2d action, we push manually
+      run: docker push ${{ steps.r2d.outputs.IMAGE_SHA_NAME }}