diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 6d9a392128ea9a6a5ff4b6613fd5d0235afc10a3..0000000000000000000000000000000000000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,37 +0,0 @@
-image: ralfjung/opam-ci:opam2
-
-stages:
-  - build
-
-variables:
-  CPU_CORES: "10"
-
-.template: &template
-  stage: build
-  tags:
-  - fp
-  script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
-  - ci/buildjob
-  cache:
-    key: "$CI_JOB_NAME-stdpp"
-    paths:
-    - opamroot/
-  only:
-  - stdpp
-  - /^ci/
-  except:
-  - triggers
-  - schedules
-
-## Build jobs
-
-build-coq.8.8.0:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.8.0"
-    TIMING_PROJECT: "fairis"
-    TIMING_CONF: "coq-8.8.0"
-    AXIOMS_IGNORE: "1"
-  tags:
-  - fp-timing