Skip to content

gitlab-ci: check that files have the right extensions

Merge request reports