diff options
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8235a3555..5620771ed 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -112,12 +112,12 @@ pages: - clang script: - mkdir -p public/ - - if test -e scan; then cp -r scan/* public; fi - - if test -e doxygen; then cp -r doxygen/html/ public/doxygen/; fi - - if test -e doxygen-extensions; then cp -r doxygen/html/ public/doxygen-extensions/; fi + - echo '<html><head><meta http-equiv="refresh" content="0; url=scan-build/index.html"></head><body></body></html>' > public/index.html + - if test -e scan; then cp -rv scan/* public/scan-build; fi + - if test -e doxygen; then cp -rv doc/doxygen/html public/doxygen; fi + - if test -e doxygen-extensions; then cp -rv doc/doxygen/html public/doxygen-extensions; fi artifacts: paths: - public only: - - master - schedules |