ci: binder workflow only runs for push to master.

fjosw · Nov 16, 2022 · b8da9ea · b8da9ea
1 parent c0e3c43
commit b8da9ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binder.yml b/.github/workflows/binder.yml
@@ -2,7 +2,7 @@ name: binder
 on:
   push:
     branches:
-      - develop
+      - master
 
 jobs:
   Create-MyBinderOrg-Cache: