diff --git a/.github/workflows/repo2docker.yml b/.github/workflows/repo2docker.yml index 6c959281..b6ca2e49 100644 --- a/.github/workflows/repo2docker.yml +++ b/.github/workflows/repo2docker.yml @@ -37,22 +37,31 @@ jobs: end end end + - name: Setup Python + uses: actions/setup-python@v5 + id: setup-python + with: + python-version: '3.x' + - name: Install Python dependencies + run: | + pip install uv + uv pip install --system -r jupyter-repo2docker - name: Login to ghcr.io uses: docker/login-action@v3 with: registry: ghcr.io username: ${{ github.repository_owner }} password: ${{ github.token }} + - name: Remove binder cache file + run: rm binder/Dockerfile || true - name: Update binder docker image with repo2docker - uses: jupyterhub/repo2docker-action@master - with: - DOCKER_REGISTRY: ghcr.io - DOCKER_USERNAME: ${{ github.repository_owner }} - DOCKER_PASSWORD: ${{ github.token }} - IMAGE_NAME: ${{ github.repository }} - PUBLIC_REGISTRY_CHECK: true - LATEST_TAG_OFF: true - ADDITIONAL_TAG: binder + run: > + jupyter-repo2docker + --image-name ghcr.io/${{ github.repository }} + --label "binder" + --no-run --push + --cache-from ghcr.io/${{ github.repository }}:binder + . - name: Write binder cache file run: | mkdir -p binder