Merge pull request #61 from dotty-staging/ci-releases

Create release on GitHub when releasing to Maven
com-lihaoyi · May 4, 2021 · 05fc94d · 05fc94d
2 parents 8613a8d + 9f27075
commit 05fc94d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
@@ -49,3 +49,13 @@ jobs:
               --release true \
               --signed true
           fi
+      - name: Create GitHub Release
+        id: create_gh_release
+        uses: actions/[email protected]
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by Actions, you do not need to create your own token
+        with:
+          tag_name: ${{ github.ref }}
+          release_name: ${{ github.ref }}
+          body:
+          draft: false