diff options
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 728bd3c3..d44c881c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -316,11 +316,6 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" - make -j "$NJOBS" clightgen - source /opt/kalray/accesscore/kalray.sh && make documentation - - cp -rf doc/* public/ - - make distclean - - ./config_aarch64.sh - - make -j "$NJOBS" - - make -j "$NJOBS" clightgen - make documentation - cp -rf doc/* public/ - mv doc/index-verimag.html public/index.html |