External/json
8
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

👷 add job to publish the documentation

Browse Source
This commit is contained in:
Niels Lohmann 2022-08-03 18:20:20 +02:00
parent d249eab793
commit ff108a3067
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/publish_documentation.yml vendored
View File

@ -4,8 +4,7 @@ name: Publish documentation
on:
push:
branches:
#- develop
- documentation_update
- develop
# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
concurrency: