From cd84a7fa995549d8f8134f0a4c7d65ff4d4dd318 Mon Sep 17 00:00:00 2001
From: Ben Meier <1651305+astromechza@users.noreply.github.com>
Date: Thu, 21 Nov 2024 10:10:30 +0000
Subject: [PATCH] chore: enable ci on main push (#85)

Signed-off-by: Ben Meier <1651305+astromechza@users.noreply.github.com>
---
 .github/workflows/ci.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c5806d0..3af2bfd 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,6 +1,10 @@
 name: ci
 on:
+  # We run the CI checks on any pull request updates or pushes to the main branch after PR merge.
   pull_request:
+  push:
+    branches:
+      - main
 permissions:
   contents: read
 jobs: