...
 
Commits (1)
......@@ -11,7 +11,7 @@ variables:
tags:
- fp
script:
- git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
- git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b test
- ci/buildjob
cache:
key: "$CI_JOB_NAME"
......