Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:voelkel/hainrich

f0e43d80 · Konrad Völkel · 28f3b1f4 · e6478ef7 · f0e43d80
Commit f0e43d80 authored 5 months ago by Konrad Völkel
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,6 +9,7 @@ pages:
        - cp -r ./* .public
        - rm -rf public
        - mv .public public
+        - gzip -k -9 $(find public -type f)
        
    artifacts:
        paths: