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 21 2018, 3:52 PM
Parents
rGHC95fbf87886c4: CircleCI: Fix check for git push retry limit.
Branches
Unknown
Tags
Unknown