temporarily disable building mop output (artifacts too big)

58a9a68b · Jochen Schulz · 12d643b2 · 58a9a68b
Commit 58a9a68b authored Feb 28, 2021 by Jochen Schulz
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,6 @@ pages:
    - rm -rf public
    - mkdir -p public
    - cp -r _build/cas/_build/html public/cas
-    - cp -r _build/mop/_build/html public/mop
  artifacts:
    paths:
      - public