Update .gitlab-ci.yml file

KeYProject · Nov 28, 2022 · 563407b · 563407b
1 parent 29702df
commit 563407b
Showing 1 changed file with 2 additions and 12 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -4,20 +4,10 @@ pages:
   script:
     - mkdocs build  
     - mv site public 
+    - linkchecker -F html -t 5 --no-robots public/index.html || true
+    - mv linkchecker-out.html public
   artifacts:
     paths:
       - public
   rules:
     - if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH
-
-
-linkcheck:docs:
-  tags: 
-    - tud
-#  rules:
-    # only execute if triggered by cronjob, to not trigger on pushes
-#    - if: $CI_PIPELINE_SOURCE == "schedule"
-  script:
-    - linkchecker -F html -t 5 --no-robots https://key-project.org/docs/ || true
-    - ls *html
-    - scp -pr linkchecker-out.html ${SECRET_USER}@${HOST}:${REMOTE_FOLDER}