gitlab-ci: Drop CircleCI jobs
authorBen Gamari <ben@smart-cactus.org>
Tue, 22 Jan 2019 19:25:05 +0000 (14:25 -0500)
committerBen Gamari <ben@well-typed.com>
Wed, 23 Jan 2019 19:07:28 +0000 (14:07 -0500)
commitc9a02dfc32ea4304c1c0d02bd8091fd5d045741f
tree7c5476ba329b31aa27a6207e5413c0389740a054
parent5341edf3635f2875271acc469570481c52000374
gitlab-ci: Drop CircleCI jobs

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

[skip-ci]
.gitlab-ci.yml