From 645f04694f5e4e89f2ce3f293c90e3f4c1178668 Mon Sep 17 00:00:00 2001
From: Pascal Andy <pascalandy@users.noreply.github.com>
Date: Mon, 9 May 2022 13:53:04 -0400
Subject: [PATCH] CI: on: pull_request and tags, not on main

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f72c4bb5..f37baafe 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,7 @@ name: ci
 
 on:
   push:
+    # We don't build on master or edge anymore. Only on PR and tags.
     branches:
       - "ci"
     # Sequence of patterns matched against TAGS