fx: Fix branch name

ProVerif · Jul 31, 2023 · d2bfc2b · d2bfc2b
1 parent a32c060
commit d2bfc2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -6,7 +6,7 @@ on:
       - "*"
   pull_request:
     branches:
-      - master
+      - main
 
 jobs:
   build-lint-test: