Skip to content

Remove old CI directory

The new CI is in .gitlab-ci since a while now.

Merge request reports