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'