diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 18:36:22 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 18:36:22 +0200 |
| commit | a510c89c9e96e1e967fcca5f35aa99f8ce3ded4d (patch) | |
| tree | 91f08acbe7db0c3b74890e26547fe4931f5197a5 /.gitlab-ci.yml | |
| parent | 24d07a9c9b69fdeeeedba8a983b46667ae567a3f (diff) | |
| download | compcert-kvx-a510c89c9e96e1e967fcca5f35aa99f8ce3ded4d.tar.gz compcert-kvx-a510c89c9e96e1e967fcca5f35aa99f8ce3ded4d.zip | |
fix pages ?
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0c8ee3cc..665d75d1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -261,6 +261,7 @@ build_kvx: pages: stage: build script: + - mkdir public - cp -r doc/* public/ - mv public/index-kvx.html public/index.html artifacts: |