adjust to new job naming scheme

2262489e · Ralf Jung · 06c98c0f · 2262489e
Commit 2262489e authored Jun 05, 2021 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -60,7 +60,7 @@ check-generated:
    # necessary because dune does not like running in parallel
    CPU_CORES: 1

-build-iris.dev:
+trigger-iris.dev:
  <<: *template
  variables:
    OPAM_PINS: "coq version 8.12.dev   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV   coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV  cerberus git git+https://github.com/rems-project/cerberus.git#292f30d9d49f3c206aafb61f1a9abfa80c70ace3"