fix: Only trigger merge to main when full-release-tags (e.g., v1.0, v…

…1.0.2, ...) are pushed but not when pre-release-tags (e.g., v1.0a1, v2.0rc1, ...) are pushed.
uzh · Dec 2, 2024 · 55a1d0c · 55a1d0c
1 parent 896484e
commit 55a1d0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/merge-dev-to-main.yml b/.github/workflows/merge-dev-to-main.yml
@@ -6,7 +6,7 @@ name: Merge to Main
 on:
   push:
     tags:
-      - v*
+      - 'v*[0-9].*[0-9]'
 
 jobs:
   build-test: