diff options
| -rw-r--r-- | .gitlab-ci.yml | 10 | ||||
| -rw-r--r-- | .gitlab-ci/pages-index.html | 13 |
2 files changed, 18 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 96d8c1cb1..3c26742a9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -31,7 +31,6 @@ variables: stages: - prep - - analysis - build - test - analysis @@ -524,14 +523,15 @@ coverage: pages: stage: 'deploy' - needs: [ coverage ] + needs: + - job: coverage script: - # No-op, just to gitlab thinks there's something to do. - # The jobs that this job depends on have already populated public/ - - echo + - mkdir -p public + - cp .gitlab-ci/pages-index.html public/index.html artifacts: paths: - public + expire_in: 1 day rules: # Restrict to the main branch so not every branch tries to deploy the web site - if: ($CI_DEFAULT_BRANCH == $CI_COMMIT_BRANCH) diff --git a/.gitlab-ci/pages-index.html b/.gitlab-ci/pages-index.html new file mode 100644 index 000000000..9a6aba58a --- /dev/null +++ b/.gitlab-ci/pages-index.html @@ -0,0 +1,13 @@ +<html> + <head> + <title>Cairo's development pages</title> + </head> + + <body> + <h1>Cairo's development pages</h1> + + <ul> + <li><a href="coverage/">Test coverage report</a></li> + </ul> + </body> +</html> |