remove feat-packages trigger from solvers-publish.yml

a16z · Jun 6, 2024 · 14495d8 · 14495d8
1 parent 338b8ea
commit 14495d8
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/solvers-publish.yml b/.github/workflows/solvers-publish.yml
@@ -2,10 +2,8 @@
 name: Push solvers package
 
 on:
+  # only trigger manually, this is independent from halmos releases
   workflow_dispatch:
-  push:
-    branches:
-      - feat-packages
 
 env:
   IMAGE_NAME: solvers