diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-07 11:49:31 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-07 11:49:31 +0100 |
commit | 2ed836d9fd798c17b0858468bda07bfa70dc9e43 (patch) | |
tree | a9a6bf7d36707d18e7967e7be3bfe8e871d397c9 /.gitlab-ci.yml | |
parent | dac0aadbb00447f4bbfe40586d32ccffe6703222 (diff) | |
download | compcert-kvx-2ed836d9fd798c17b0858468bda07bfa70dc9e43.tar.gz compcert-kvx-2ed836d9fd798c17b0858468bda07bfa70dc9e43.zip |
doc
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 |