Allow manually triggering publishing the website

pull/2832/head
Alexandru Dima 3 years ago
parent 5737501c81
commit 2ec5fd9d3b
No known key found for this signature in database
GPG Key ID: 39563C1504FDD0C9

@ -4,6 +4,8 @@ on:
push:
branches:
- main
# enable users to manually trigger with workflow_dispatch
workflow_dispatch: {}
jobs:
publish-website:

Loading…
Cancel
Save