ci: fix branch name

2024-10-24 20:54:07 +02:00 · 2024-10-24 20:54:07 +02:00 · ebf9a4c766
parent c5a1de4e2a
commit ebf9a4c766
2 changed files with 2 additions and 2 deletions
--- a/.github/workflows/doc.yaml
+++ b/.github/workflows/doc.yaml
@ -3,7 +3,7 @@ name: Build doc
 on:
  push:
    branches:
-      - $default-branch
+      - master
  workflow_dispatch:

 permissions:
--- a/.github/workflows/lint.yaml
+++ b/.github/workflows/lint.yaml
@ -3,7 +3,7 @@ name: Lint
 on:
  push:
    branches:
-      - $default-branch
+      - master
  pull_request:

 jobs: