From b7289d7e7e1520302433bcd2b316e6dc4bed227c Mon Sep 17 00:00:00 2001
From: Joseph Birr-Pixton <jpixton@gmail.com>
Date: Mon, 12 Jun 2023 10:13:54 +0100
Subject: [PATCH] Trigger CI run on push to main

Leftover from move from master->main branch name.
---
 .github/workflows/CI.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 1b6180e..fcad4d9 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -3,7 +3,7 @@ name: CI
 on:
   push:
     branches:
-    - master
+    - main
   pull_request: {}
   schedule:
     - cron: "33 4 * * 5"