Merge pull request #5 from shaneknapp/pin-repo2docker-version-actions

pin repo2docker at 2024.07.0
berkeley-dsep-infra · Sep 11, 2024 · 767c728 · 767c728
2 parents 16c6e66 + 0a74aa0
commit 767c728
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: jupyter-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: jupyter-repo2docker==2024.07.0
           REPO_DIR: /srv/repo
           NO_PUSH: true