Remove binder cache file before build

ntumitolab · Dec 22, 2024 · 92257e0 · 92257e0
1 parent b359c58
commit 92257e0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/repo2docker.yml b/.github/workflows/repo2docker.yml
@@ -43,6 +43,8 @@ jobs:
         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: