diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ce9a307..5630f02 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,7 +1,7 @@
 name: CI
 on:
   push:
-    branches: [ master ]
+    branches: [ master, fix-makefile-help ] # FIXME revert to master only
   pull_request:
     branches: [ master ]
 jobs: