Use correct branch name for CI on push

JuliaHubOSS · Jul 18, 2023 · 45ce8be · 45ce8be
1 parent d922151
commit 45ce8be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,7 +5,7 @@ on:
   pull_request:
   push:
     branches:
-      - "main"
+      - "master"
 
 permissions:
   contents: read