diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 96d8c1cb1..9edde3298 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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)
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 @@
+
+
+ Cairo's development pages
+
+
+
+ Cairo's development pages
+
+
+
+