github: fix main branch name

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 13, 2024 · 237ba01 · 237ba01
1 parent 5bd6752
commit 237ba01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -8,7 +8,7 @@ name: CI
 on:
   push:
     branches:
-      - master
+      - main
   pull_request:
 
 jobs: