From 919e100d91255d94f25cae7df77a28366f8d1af7 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Mon, 29 Apr 2024 13:21:35 +0100
Subject: Make the CI workflow run on push for the production branch

---
 .github/workflows/main.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6e91c11..d59d483 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -2,13 +2,13 @@
 
 name: CI
 
-# Controls when the action will run. Triggers the workflow on push or pull request
-# events but only for the master branch
+# Controls when the action will run.
+# We run this workflow on pushes and also every night to pick up fresh nightly builds
 on:
   push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
+    branches:
+      - main
+      - production
   schedule:
     - cron: "0 3 * * *"
   workflow_dispatch:
-- 
cgit v1.2.3