ci: Adjust branch names from "master" to "main"

As part of the renaming of the principal branch of the repository from
"master" to "main", update the workflow definition files to run on
pushes to the "main" branch.

Signed-off-by: Quentin Monnet <quentin@isovalent.com>

.github/workflows/build.yaml

@@ -10,7 +10,7 @@ on:
       - 'src/**'
   push:
     branches:
-      - master
+      - main
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.after }}

.github/workflows/docker.yaml

@@ -10,7 +10,7 @@ on:
       - 'src/**'
   push:
     branches:
-      - master
+      - main
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.after }}

.github/workflows/lint-shell.yaml

@@ -7,7 +7,7 @@ on:
       - 'scripts/**'
   push:
     branches:
-      - master
+      - main
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.after }}

.github/workflows/static-build.yaml

@@ -9,7 +9,7 @@ on:
       - 'src/**'
   push:
     branches:
-      - master
+      - main
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.after }}