release event not trigger..

http4s · Nov 21, 2020 · f2a3ed6 · f2a3ed6
1 parent 89a2c0e
commit f2a3ed6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -1,6 +1,8 @@
 name: Publish
 on:
-  release
+  push:
+    tags:
+      - v[0-9]+.*
 
 jobs:
   publish:

diff --git a/.github/workflows/tag.yml b/.github/workflows/tag.yml
@@ -17,5 +17,7 @@ jobs:
         LOCAL_VERSION=$(dhall text <<< 'let a = ./app.dhall in "v${a.version}"')
         echo "main version is $LAST_RELEASE and current version is $LOCAL_VERSION"
         if [ $LAST_RELEASE != $LOCAL_VERSION ];then
+          git tag ${LOCAL_VERSION}
+          git push origin ${LOCAL_VERSION}
           hub release create -m "${LOCAL_VERSION}" "${LOCAL_VERSION}"
         fi