GitLab CI: Disable deploy of page for now

jhasse · Nov 13, 2024 · 3d6cccf · 3d6cccf
1 parent 521ccf7
commit 3d6cccf
Showing 1 changed file with 19 additions and 19 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -80,22 +80,22 @@ web:
     paths:
     - public/demo
 
-pages:
-  stage: deploy
-  dependencies:
-  - web
-  script:
-  - microdnf install -y doxygen cmake make tar xz git texlive-latex texlive-newunicodechar texlive-dvips pdf2svg ghostscript >/dev/null
-  - cd doc
-  - cmake .
-  - make
-  - doxygen
-  - mv ../public __tmp
-  - mv html ../public
-  - mv __tmp/demo ../public
-  - rm -r __tmp
-  artifacts:
-    paths:
-    - public
-  only:
-  - master
+# pages:
+#   stage: deploy
+#   dependencies:
+#   - web
+#   script:
+#   - microdnf install -y doxygen cmake make tar xz git texlive-latex texlive-newunicodechar texlive-dvips pdf2svg ghostscript >/dev/null
+#   - cd doc
+#   - cmake .
+#   - make
+#   - doxygen
+#   - mv ../public __tmp
+#   - mv html ../public
+#   - mv __tmp/demo ../public
+#   - rm -r __tmp
+#   artifacts:
+#     paths:
+#     - public
+#   only:
+#   - master