From 32497f3a6fbfb3807f9c93f33eaadc125c3f1af1 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Sat, 9 Oct 2021 19:37:08 +0200
Subject: [PATCH] Add mkdocs to CI

---
 .gitlab-ci.yml | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d8b964e..c09882a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,5 +1,5 @@
 stages:
-  - hlint
+  - checks
   - test
   - release
 
@@ -585,7 +585,7 @@ release:windows:
 ######## hlint ########
 
 hlint:
-  stage: hlint
+  stage: checks
   extends:
     - .debian
   script:
@@ -596,3 +596,17 @@ hlint:
     paths:
       - report.html
     when: on_failure
+
+######## mkdocs ########
+
+mkdocs:
+  stage: checks
+  extends:
+    - .debian
+  before_script:
+    - sudo apt-get update -y
+    - sudo apt-get install -y python3-pip
+    - pip3 install mkdocs
+  script:
+    - ~/.local/bin/mkdocs build
+  allow_failure: true