ci: convert dev publish to manual task (#723)

* ci: enable autotests for all pushes * ci: convert `dev publish` to manual task
google · Feb 25, 2024 · 0c97b9f · 0c97b9f
1 parent 2acb0f2
commit 0c97b9f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/dev-publish.yml b/.github/workflows/dev-publish.yml
@@ -1,9 +1,7 @@
 name: Dev Publish
 
 on:
-  push:
-    branches:
-      - dev
+  workflow_dispatch:
 
 jobs:
   publish: