Add a landing page for GitLab pages

GitLab pages for cairo appear in
https://cairo.pages.freedesktop.org/cairo/ but there is nothing there
right now, so it gives a 404.  Only
https://cairo.pages.freedesktop.org/cairo/coverage works so far.

So, add public/index.html as a minimal landing page.  My intention is
to link other things from there - an HTMLized report of the test
suite, a development guide, things like that.
This commit is contained in:
Federico Mena Quintero 2024-09-05 10:09:26 -06:00
parent 39ba22d7e6
commit 3f709d0050
2 changed files with 18 additions and 4 deletions

View file

@ -524,14 +524,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)

View file

@ -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>