tests seem to work, changing the workflow only for pushes on main

herbie-fp · Jan 18, 2025 · 36947c9 · 36947c9
1 parent 87470c2
commit 36947c9
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/distribute.yml b/.github/workflows/distribute.yml
@@ -1,6 +1,9 @@
 name: Distribute
 
-on: [push]
+on:
+  push:
+    branches:
+      - main
 
 jobs:
   distribute: