diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-28 07:27:46 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-28 07:27:46 +0200 |
| commit | e7fad4516e0e7705480312caa427e838f3321948 (patch) | |
| tree | 8a56b3e91a9ad3262137d15cca44913b56dbd803 /.gitlab-ci.yml | |
| parent | a1358ff333c840ac0ac447d6f55d64cc7d077cc4 (diff) | |
| download | compcert-kvx-e7fad4516e0e7705480312caa427e838f3321948.tar.gz compcert-kvx-e7fad4516e0e7705480312caa427e838f3321948.zip | |
automatic date in the html index
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 971034bc..0499abc2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -258,8 +258,8 @@ build_kvx: when: always - when: manual -pages: - stage: build # TODO: change to "deploy" when "build" succeeds +pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?) + stage: build image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update @@ -280,7 +280,8 @@ pages: - source /opt/kalray/accesscore/kalray.sh && make documentation - mkdir public - cp -r doc/* public/ - - mv public/index-kvx.html public/index.html + - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html + - rm public/index-kvx.html artifacts: paths: - public |