From e61216ac24fbe0f7bf56720f6123509d41c46ae7 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 26 Mar 2022 08:37:31 -1000
Subject: [PATCH] ci: push: also run on pushes to "simon" branch

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 0f678e775..55c4af435 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -7,7 +7,7 @@ name: push CI
 
 on:
   push:
-    branches: [ master ]
+    branches: [ master, simon ]
     paths:
       - '.github/workflows/push.yml'
       - 'stack*.yaml'