From 9476fabc33849c00538ca0ee5c18a2776f0d3d15 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Sun, 18 Oct 2020 02:02:15 +0200
Subject: [PATCH] stop using circleci

---
 .circleci/config.yml | 47 --------------------------------------------
 1 file changed, 47 deletions(-)
 delete mode 100644 .circleci/config.yml

diff --git a/.circleci/config.yml b/.circleci/config.yml
deleted file mode 100644
index 36b6ff5..0000000
--- a/.circleci/config.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-version: 2.1
-jobs:
-  test:
-    parameters:
-      docker_image:
-        type: string
-    docker:
-      - image: << parameters.docker_image >>:latest
-    working_directory: ~/.gap/pkg/CatReps
-    steps:
-      - checkout
-      - run: |
-          sudo apt update
-          sudo apt dist-upgrade -y
-          sudo apt install -y texlive-latex-extra texlive-science curl
-          cd ..
-          git clone --depth 1 https://github.com/homalg-project/homalg_project.git
-          git clone --depth 1 https://github.com/homalg-project/CAP_project
-          git clone --depth 1 https://github.com/homalg-project/CategoryConstructor
-          git clone --depth 1 https://github.com/homalg-project/HigherHomologicalAlgebra
-          git clone --depth 1 https://github.com/homalg-project/Toposes
-          git clone --depth 1 https://github.com/homalg-project/FinSetsForCAP
-          git clone --depth 1 https://github.com/homalg-project/QPA2
-          git clone --depth 1 https://github.com/homalg-project/Algebroids
-          git clone --depth 1 https://github.com/homalg-project/FunctorCategories
-          git clone --depth 1 https://github.com/homalg-project/SubcategoriesForCAP
-          cd CatReps
-          TERM=dumb make ci-test
-          bash <(curl -s https://codecov.io/bash)
-workflows:
-  version: 2
-  commit:
-    jobs:
-      - test:
-          docker_image: gapsystem/gap-docker
-  nightly:
-    triggers:
-      - schedule:
-          # 0:00 UTC = 1:00 CET = 2:00 CEST
-          cron: "0 0 * * *"
-          filters:
-            branches:
-              only:
-                - master
-    jobs:
-      - test:
-          docker_image: gapsystem/gap-docker-master