Fix return type for get_maxpid().

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 932f59c..cffa21c 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,7 +15,7 @@ ctest:
     paths:
     - lib/
     expire_in: 1 week
-  
+
 release:
   stage: build
   only:
@@ -61,7 +61,7 @@ pages:
   # - The CSS contains a reference to a font or something, not something we gonna fix on our side
   # - The javasphinx output does not exist in the git, so the "edit on FramaGit" link is broken.
   #   I'd like to report this as a bug, but javasphinx seems abandonned upstream.
-  - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org ../public
+#not installed   - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org ../public
   # From time to time, we should check external links with the
   # following, but it has a lot of false positive
   # - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org --check-extern ../public
@@ -71,4 +71,3 @@ pages:
   only:
   - master
   needs: ["ctest"]
-