diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d8b964e411ec5efbf9ab35df11a3c57b2ac44be5..c09882a3c02b5377ac7c5d93391642cc1e192ece 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