From 1f1668c4249668985624722249aeb3ceb9fd6fcb Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 20 Jul 2026 21:28:46 +0200
Subject: [PATCH] Remove mybinder workflow

MyBinder has been flaky anyway and this makes CI a bit cheaper.
---
 .github/workflows/binder.yml | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 .github/workflows/binder.yml

diff --git a/.github/workflows/binder.yml b/.github/workflows/binder.yml
deleted file mode 100644
index da48def..0000000
--- a/.github/workflows/binder.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: Deploy Binder Image
-on:
-  push:
-    branches:
-      - main
-
-concurrency:
-  group: Create-MyBinderOrg-Cache-${{ github.ref }}
-  cancel-in-progress: true
-
-jobs:
-  Create-MyBinderOrg-Cache:
-    runs-on: ubuntu-latest
-    steps:
-    - name: Cache Binder build on mybinder.org
-      uses: jupyterhub/repo2docker-action@master
-      with:
-        NO_PUSH: true
-        MYBINDERORG_TAG: ${{ github.event.ref }}