test new coq-speed server

d57cd48b · Ralf Jung · 920bc3d9 · d57cd48b
Commit d57cd48b authored Nov 19, 2020 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ variables:
  tags:
  - fp
  script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
+  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b debug
  - ci/buildjob
  cache:
    key: "$CI_JOB_NAME"