chore: use branch main instead of master in the CI

This commit is contained in:
Mayeul@Zama
2022-06-07 16:48:50 +02:00
committed by rudy-6-4
parent ce2947b4b9
commit 33253a7582
2 changed files with 3 additions and 3 deletions

View File

@@ -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

View File

@@ -2,7 +2,7 @@ name: Continuous integration
on:
push:
branches: [ master ]
branches: [ main ]
pull_request:
env: