fix dead links on the webpage, and linkcheck it upon generation

[simgrid.git] / .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8ccb3ac..00f1d5a 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,6 +8,7 @@ pages:
   - cd docs
   - LC_ALL=C.UTF-8 ./Build.sh
   - mv build/html ../public
+  - linkchecker --ignore-url=https://simgrid.org/doc/3 https://simgrid.org
   artifacts:
     paths:
     - public