👷 add job to publish the documentation
This commit is contained in:
parent
510336e20b
commit
1e28684e07
3
.github/workflows/publish_documentation.yml
vendored
3
.github/workflows/publish_documentation.yml
vendored
@ -5,7 +5,6 @@ on:
|
|||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- develop
|
- develop
|
||||||
- documentation_update # TODO: remove before merging
|
|
||||||
|
|
||||||
# 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:
|
||||||
@ -40,4 +39,4 @@ jobs:
|
|||||||
uses: actions/upload-artifact@v3
|
uses: actions/upload-artifact@v3
|
||||||
with:
|
with:
|
||||||
name: docset
|
name: docset
|
||||||
path: docs/docset/JSON_for_Modern_C++.docset
|
path: docs/docset/JSON_for_Modern_C++.tgz
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user