From 92257e0a7cd870fb6dcc8e7d5e225cd19dc96c09 Mon Sep 17 00:00:00 2001
From: Wen Wei Tseng <sosiristseng@gmail.com>
Date: Sun, 22 Dec 2024 22:45:38 +0800
Subject: [PATCH] Remove binder cache file before build

---
 .github/workflows/repo2docker.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/repo2docker.yml b/.github/workflows/repo2docker.yml
index 6c959281..a2592e04 100644
--- 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: