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

Create release on GitHub when releasing to Maven
com-lihaoyi · May 4, 2021 · 2d2a15d · 2d2a15d
2 parents 01c19d9 + 28507bf
commit 2d2a15d
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/create-release@v1.1.4
+        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