From 33253a75824210dea47dfb6919ca55d9945bd3ab Mon Sep 17 00:00:00 2001
From: "Mayeul@Zama" <mayeul.debellabre@zama.ai>
Date: Tue, 7 Jun 2022 16:48:50 +0200
Subject: [PATCH] chore: use branch main instead of master in the CI

---
 .github/workflows/compiler.yml  | 4 ++--
 .github/workflows/optimizer.yml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/compiler.yml b/.github/workflows/compiler.yml
index 2956d7012..dd0d74b13 100644
--- a/.github/workflows/compiler.yml
+++ b/.github/workflows/compiler.yml
@@ -2,7 +2,7 @@ name: Continuous integration - compiler
 
 on:
   push:
-    branches: [ master ]
+    branches: [ main ]
   pull_request:
 
 env:
@@ -12,7 +12,7 @@ jobs:
   conditions:
     runs-on: ubuntu-20.04
     outputs:
-      proceed: ${{ steps.interface-changes.outputs.any_changed == 'true' || github.ref == 'refs/heads/master' }}
+      proceed: ${{ steps.interface-changes.outputs.any_changed == 'true' || github.ref == 'refs/heads/main' }}
     steps:
       - name: Code checkout
         uses: actions/checkout@v3
diff --git a/.github/workflows/optimizer.yml b/.github/workflows/optimizer.yml
index 17df59016..5903a766f 100644
--- a/.github/workflows/optimizer.yml
+++ b/.github/workflows/optimizer.yml
@@ -2,7 +2,7 @@ name: Continuous integration
 
 on:
   push:
-    branches: [ master ]
+    branches: [ main ]
   pull_request:
 
 env: