Update CI workflow to use master branch instead of main

Author: jcrapuchettes

.github/workflows/push.yml

@@ -2,7 +2,7 @@ name: "Push"
 on:
   push:
     branches:
-      - main
+      - master
   pull_request:
     types:
       - opened