Trigger release workflow on tag push

Author: object-Object

.github/workflows/release.yml

@@ -3,6 +3,8 @@ name: Release
 # TODO: trigger this via Jenkins somehow?
 
 on:
+  push:
+    tags: 'v[0-9]+.[0-9]+.[0-9]+*'
   workflow_dispatch:
     inputs:
       publish-docs:
@@ -30,12 +32,12 @@ jobs:
       GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     with:
       python-version: 3.11
-      deploy-pages: ${{ inputs.publish-docs && !inputs.dry-run }}
+      deploy-pages: ${{ github.event_name == 'push' || inputs.publish-docs && !inputs.dry-run }}
       release: true
 
   publish-docs:
     needs: build-docs
-    if: inputs.publish-docs && !inputs.dry-run
+    if: github.event_name == 'push' || inputs.publish-docs && !inputs.dry-run
     runs-on: ubuntu-latest
     environment:
       name: pypi