From: Russ Allbery <eagle@eyrie.org>
Date: Mon, 25 Dec 2023 21:42:29 +0000 (-0800)
Subject: Fix branch name in GitHub CI configuration
X-Git-Tag: release/3.3~10
X-Git-Url: https://git.eyrie.org/?a=commitdiff_plain;h=0e501617433c712fde8423fbc85ef9c1b2d0614c;p=kerberos%2Fkrb5-strength.git

Fix branch name in GitHub CI configuration

Run checks on pull requests to main, rather than master.
---

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 1950ff5..391dcb0 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -11,7 +11,7 @@ on:
       - "release/*"
   pull_request:
     branches:
-      - master
+      - main
 
 jobs:
   build: