Skip to content

Remove CircleCI config

Florian Sesser requested to merge gitlab-ci-5 into master

We use GitLab instead now.

Merge request reports