Closed jkmassel closed 2 years ago
All CI stuff was already moved to Buildkite in #1349 – this just removes the old CircleCI configuration.
All CI stuff was already moved to Buildkite in #1349 – this just removes the old CircleCI configuration.