CI using the official Cerberus repo.

a8480c53 · Rodolphe Lepigre · f5ab0aad · a8480c53
Commit a8480c53 authored Nov 17, 2020 by Rodolphe Lepigre
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,7 +32,7 @@ variables:
 build-coq.8.12.0:
  <<: *template
  variables:
-    OPAM_PINS: "coq version 8.12.0   cerberus git git+https://github.com/rlepigre/cerberus.git#da87de09974dd4063c0b50fea7f23420374dd169"
+    OPAM_PINS: "coq version 8.12.0   cerberus git git+https://github.com/rems-project/cerberus.git#6ea80db048080468761499238fa0d045222ccc52"
    DENY_WARNINGS: "1"
  tags:
  - fp-timing