pin repo2docker at 2024.07.0

berkeley-dsep-infra · Sep 11, 2024 · 5041059 · 5041059
1 parent 1305912
commit 5041059
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/build-push-image-commit.yaml b/.github/workflows/build-push-image-commit.yaml
@@ -48,6 +48,7 @@ jobs:
         if: steps.changed-files.outputs.any_changed == 'true'
         uses: jupyterhub/repo2docker-action@master
         with:
+          FORCE_REPO2DOCKER_VERSION: repo2docker==2024.07.0
           DOCKER_REGISTRY: us-central1-docker.pkg.dev
           IMAGE_NAME: ${{ env.IMAGE }}
           # Disable pushing a 'latest' tag, as this often just causes confusion

diff --git a/.github/workflows/build-test-image.yaml b/.github/workflows/build-test-image.yaml
@@ -40,6 +40,7 @@ jobs:
         if: steps.changed-files.outputs.any_changed == 'true'
         uses: jupyterhub/repo2docker-action@master
         with:
+          FORCE_REPO2DOCKER_VERSION: repo2docker==2024.07.0
           REPO_DIR: /srv/repo
           NO_PUSH: true