build documentation from latest release

This commit is contained in:
pantor
2023-01-29 14:00:11 +01:00
parent 02ffca28a5
commit 1709ee170e

View File

@@ -1,8 +1,8 @@
name: Documentation
on:
push:
branches: ["master"]
release:
types: [published]
workflow_dispatch:
jobs: