actually create release

Author: Vladimir Kotal

.github/workflows/pdfs.yml

@@ -1,8 +1,6 @@
 name: Create release with PDFs
 on:
   push:
-    branches:
-    - master
     tags:
     - 'v*'
 jobs:
@@ -24,3 +22,13 @@ jobs:
     - name: Compile second phase to get table of contents
       working-directory: master
       run: make slides notes
+    - name: Create Release
+      id: create_release
+      uses: actions/create-release@v1
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      with:
+        tag_name: ${{ github.ref }}
+        release_name: Release ${{ github.ref }}
+        draft: false
+        prerelease: false