[TMP] Add an empty CircleCI config to get rid of the spurious CircleCI job that fails on every PR

cameel · cameel · commit d9f365439ee4 · 2020-07-07T12:43:43.000+02:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -0,0 +1,8 @@
+version: 2.1
+
+jobs:
+  build:
+    docker:
+      - image: cimg/base
+    steps:
+      - run: echo "This is an empty config just to keep CircleCI quiet."
