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

Create release on GitHub when releasing to Maven
com-lihaoyi · Apr 28, 2021 · c7181f7 · c7181f7
2 parents 8fda68e + 71b679d
commit c7181f7
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