Skip to content

gitlab-ci: Drop CircleCI jobs

Ben Gamari requested to merge wip/drop-circleci into master

It's pretty unlikely we will be going back to circleci at this point

[skip-ci]

Merge request reports