baseline

ddfde5d9 · Ralf Jung · c3acaf73 · ddfde5d9
Commit ddfde5d9 authored 2 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ variables:
  tags:
  - fp
  script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b ocaml-dev
+  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
  - ci/buildjob
  except:
  - triggers