diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5b14102b7..948620ac1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -262,7 +262,7 @@ pages: script: - mkdir -p public/ - sed "s/%DATE%/$(date '+%B %d, %Y')/" buildtools/ci-index.html > public/index.html - - if test -e scan; then cp -rv scan/* public/scan-build; fi + - if test -e scan; then rm -fr public/scan-build && cp -rv scan/* public/scan-build; fi - if test -e doc/doxygen; then cp -rv doc/doxygen/html public/doxygen; fi - if test -e doc/doxygen-extensions; then cp -rv doc/doxygen-extensions/html public/doxygen-extensions; fi artifacts: |