Main branch name is master, not main

palfrey · palfrey · commit b2747f01f2ba · 2022-11-02T22:34:00.000Z
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 on: 
   push:
     branches:
-      - main
+      - master
   pull_request:
 
 name: Continuous integration
