WIP: Deploying pages

.gitlab-ci.yml

@@ -88,3 +88,14 @@ build-testenv:
       --cache-from $CI_REGISTRY_IMAGE
       -t $CI_REGISTRY_IMAGE .
     - docker push $CI_REGISTRY_IMAGE
+
+# Build the sphinx documentation and make it ready for deployment by Gitlab Pages
+# documentation:
+#   stage: deploy
+
+# Special job for serving the result
+pages:
+  stage: deploy
+  artifacts:
+    paths:
+      - public