diff options
author | Matias Elo <matias.elo@nokia.com> | 2022-02-02 10:38:54 +0200 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2022-02-02 12:40:29 +0200 |
commit | dff23d31562e1f1cb2868aac962e9e7e49dbd38c (patch) | |
tree | b3568a20293172195ecabc84fbdbfaadef6276b4 /.github | |
parent | 12f6bb62fc841962395a9949f2c7de7a74828e67 (diff) |
github_ci: prevent automatic documentation rebuild
Prevent automatic GitHub workflow 'pages-build-deployment' from rebuilding
ODP documentation. The documentation is already built by 'GitHub Pages'
workflow.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Petri Savolainen <petri.savolainen@nokia.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gh-pages.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index d8656d250..d2308cfba 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -39,6 +39,7 @@ jobs: cp users-guide/users-guide.html gh-pages/users-guide/index.html mkdir gh-pages/process-guide cp process-guide/*.html gh-pages/process-guide/ + touch gh-pages/.nojekyll popd - name: Deploy |