Merge branch 'rodolphe/disable-dune-ci' into 'master'

Disable the dune build in CI.

See merge request iris/stdpp!625

.gitlab-ci.yml

@@ -68,11 +68,12 @@ build-coq.9.0.0-mr:
     MANGLE_NAMES: "1"
 
 # Also ensure Dune works (broken on older Coq versions due to Stdlib split).
-build-coq.9.0.0-dune:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 9.0.0   dune version 3.18.1"
-    MAKE_TARGET: "dune"
+# NOTE: disabled due to https://gitlab.mpi-sws.org/iris/stdpp/-/issues/236.
+#build-coq.9.0.0-dune:
+#  <<: *template
+#  variables:
+#    OPAM_PINS: "coq version 9.0.0   dune version 3.18.1"
+#    MAKE_TARGET: "dune"
 
 build-coq.8.20.1:
   <<: *template