github: Remove push trigger filter

Since the filter allows all branches, it can be removed.
gluxon · May 2, 2022 · f3b3c7d · f3b3c7d
1 parent 5af0417
commit f3b3c7d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/primary.yml b/.github/workflows/primary.yml
@@ -4,7 +4,6 @@ on:
   schedule:
     - cron: "0 0 * * 6"
   push:
-    branches: ["*"]
   pull_request:
     branches: [main]
   workflow_dispatch: