gitlab-ci: Remove CircleCI configuration

Authored by bgamari on Dec 18 2018, 4:38 PM.

Description

gitlab-ci: Remove CircleCI configuration

Our CircleCI builds will fail anyways without large instances.

Details

Committed
bgamariDec 18 2018, 4:38 PM
Parents
rGHC9d92212cd7a7: gitlab-ci: Try fixing Windows build
Branches
Unknown
Tags
Unknown