Enable manual publishing of the documentation
This commit is contained in:
parent
e9f2e24bb5
commit
0bf7dba387
1
.github/workflows/publish_documentation.yml
vendored
1
.github/workflows/publish_documentation.yml
vendored
@ -8,6 +8,7 @@ on:
|
|||||||
paths:
|
paths:
|
||||||
- docs/mkdocs/**
|
- docs/mkdocs/**
|
||||||
- docs/examples/**
|
- docs/examples/**
|
||||||
|
workflow_dispatch:
|
||||||
|
|
||||||
# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
|
# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
|
||||||
concurrency:
|
concurrency:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user