diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9534282d..2f0d598d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -317,8 +317,8 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil - source /opt/kalray/accesscore/kalray.sh && make documentation - mkdir public - cp -r doc/* public/ - - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html - - rm public/index-kvx.html + - tools/fix_html_date.sh doc/index-verimag.html " (" ")" > public/index.html + - rm public/index-verimag.html artifacts: paths: - public |