Rocq9: disable SerAPI temporarily

Author: shilangyu

.github/workflows/ci.yml

@@ -63,9 +63,9 @@ jobs:
 
               echo "::group::Install opam packages"
               opam pin add -n -k version coq ${{ matrix.rocq }}
+              opam install --confirm-level=unsafe-yes --deps-only .
               # coq-serapi's dependencies are installed now to ensure
-              opam install --confirm-level=unsafe-yes --deps-only . coq-serapi
-              opam install --confirm-level=unsafe-yes coq-serapi
+              # opam install --confirm-level=unsafe-yes coq-serapi
               echo "::endgroup::"
 
               echo "::group::Print opam config (post-install)"

dune-project

@@ -19,6 +19,7 @@
  (synopsis "A mechanization of the specification of ECMAScript regexes")
  (depends
   (ocaml (= 4.14.2))
+  ; LATER: move to rocq-prover once dune plugin is updated: https://github.com/ocaml/dune/pull/12035
   (coq (>= 9.1.0))))
 
 (package