From a2c2512efa6fd97a07fdbed88c7fa924f7875886 Mon Sep 17 00:00:00 2001 From: Edoardo Baldi Date: Wed, 4 Oct 2023 18:02:35 +0200 Subject: [PATCH] Fix repo2docker version (#139) It seems that a recent update to Mamba is causing a problem when building the Docker image from the repo via repo2docker. See https://github.com/jupyterhub/mybinder.org-deploy/issues/2714. This PR fixes the version of `repo2docker` to the last one that didn't have this problem, and the image is built correctly. --- .github/workflows/build-docker-image.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build-docker-image.yml b/.github/workflows/build-docker-image.yml index 930cb33f..41d4da70 100644 --- a/.github/workflows/build-docker-image.yml +++ b/.github/workflows/build-docker-image.yml @@ -27,3 +27,4 @@ jobs: DOCKER_PASSWORD: ${{ secrets.GITHUB_TOKEN }} DOCKER_REGISTRY: ghcr.io IMAGE_NAME: ${{ github.repository }} + FORCE_REPO2DOCKER_VERSION: jupyter-repo2docker==2023.06.0