Use correct branch name for CI on push (#167)

JuliaHubOSS · Jul 18, 2023 · 089cf8d · 089cf8d
1 parent d922151
commit 089cf8d
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