Refactor .gitlab-ci.yml
Consolidate jobs, use YAML anchors, etc, maybe use the extends:
feature now that dune-gitlab is on 11.3 (it that is recent enough)
Depends !73 (merged)
Edited by Jö Fahlke
Consolidate jobs, use YAML anchors, etc, maybe use the extends:
feature now that dune-gitlab is on 11.3 (it that is recent enough)
Depends !73 (merged)