From c8828438de7df63b3feb020a159857819aff6a50 Mon Sep 17 00:00:00 2001 From: Daniel Rapp Date: Mon, 23 Mar 2026 18:18:33 +0000 Subject: [PATCH] chore: update CI branch references from master to main The default branch was renamed from master to main on GitHub. Remove master from push/PR branch filters and the coverage-badge job condition in ci.yml. Co-Authored-By: Claude Opus 4.6 --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dbe1d88..b5e9a5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,9 @@ name: CI on: push: - branches: [ master, main, develop ] + branches: [ main, develop ] pull_request: - branches: [ master, main ] + branches: [ main ] workflow_dispatch: jobs: @@ -147,7 +147,7 @@ jobs: name: Update Coverage Badge runs-on: ubuntu-latest needs: test - if: github.ref == 'refs/heads/master' || github.ref == 'refs/heads/main' + if: github.ref == 'refs/heads/main' permissions: contents: write