use the same nightly Coq as everything else

.gitlab-ci.yml

@@ -78,25 +78,11 @@ build-coq.8.15.2:
     OPAM_PINS: "coq version 8.15.2"
     DENY_WARNINGS: "1"
 
-# Nightly job with a known-to-work Coq version
-# (so failures must be caused by std++)
-trigger-stdpp.dev-coq.8.15.1:
+trigger-stdpp.dev:
   <<: *template
   variables:
     STDPP_REPO: "iris/stdpp"
-    OPAM_PINS: "coq version 8.15.1   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
-  except:
-  only:
-  - triggers
-  - schedules
-  - api
-
-# Nightly job with latest Coq branch
-trigger-stdpp.dev-coq.dev:
-  <<: *template
-  variables:
-    STDPP_REPO: "iris/stdpp"
-    OPAM_PINS: "coq version dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
+    OPAM_PINS: "coq version $NIGHTLY_COQ   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
     CI_COQCHK: "1"
   except:
   only: