Skip to content

Add gzipping to gitlab ci generation

Kaspar Emanuel requested to merge gzip-gitlab-ci into master

closes #207 (closed)

Merge request reports