delete this commit - used for testing cache performance

wszaranski · Apr 9, 2024 · 3ecab7d · 3ecab7d
1 parent e294544
commit 3ecab7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: