add release

Author: Vladimir Kotal

.github/workflows/release.yml

@@ -0,0 +1,25 @@
+name: Release
+
+# TODO: run this only for the main repository
+on:
+  push:
+    tags:
+      - 'v[1-9]+'
+
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    needs: get_tag
+    steps:
+    - name: Checkout master branch
+      uses: actions/checkout@v2
+    - name: Create Release
+      id: create_release
+      uses: actions/create-release@v1
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      with:
+        tag_name: ${{ github.ref }}
+        release_name: ${{ github.ref }}
+        draft: false
+        prerelease: false