Delete .github/workflows/binder.yml

tschm · Jan 4, 2025 · 672b37c · 672b37c
1 parent 15a2a0a
commit 672b37c
Showing 1 changed file with 0 additions and 20 deletions.
diff --git a/.github/workflows/binder.yml b/.github/workflows/binder.yml