diff options
| author | Uli Schlachter <psychon@znc.in> | 2024-09-06 16:06:20 +0000 |
|---|---|---|
| committer | Uli Schlachter <psychon@znc.in> | 2024-09-06 16:06:20 +0000 |
| commit | 65a29e787aedde9ec8d8c6248bbd761791d72d04 (patch) | |
| tree | 41fdf5f4d1263564e216578e0c336bbd3ff4d48e | |
| parent | 781cf20bf9aa95cd2b7b44d4c294d9027376a7ec (diff) | |
| parent | 1ed8bb65434214ba3362f7bf1f9ae0fb379f17d9 (diff) | |
Merge branch 'landing-page' into 'master'
Add a landing page for GitLab pages
See merge request cairo/cairo!594
| -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> |