Update CI workflow to use master branch instead of main

jcrapuchettes · jcrapuchettes · commit 78257dfd672e · 2025-11-13T17:45:07.000-08:00
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -2,7 +2,7 @@ name: "Push"
 on:
   push:
     branches:
-      - main
+      - master
   pull_request:
     types:
       - opened
