Update CI jobs

'latest' CI job is now Coq/Rocq 9.0
'oldest' CI job is now Coq 8.15

Author: xavierleroy

.github/workflows/latest.yml

@@ -16,18 +16,18 @@ jobs:
       target: ${{ matrix.target }}
       os: linux
       jobs: 4
-      opamroot: /home/coq/.opam
+      opamroot: /home/rocq/.opam
       configopts: -ignore-coq-version
     container:
-      image: coqorg/coq:latest-ocaml-4.14-flambda
+      image: rocq/rocq-prover:9.0
       options: --user root
     steps:
       - name: Checkout
         uses: actions/checkout@v4
         with:
           submodules: true
       - name: OPAM dependencies
-        run: tools/runner.sh opam_install menhir
+        run: tools/runner.sh opam_install coq-core menhir
       - name: Configure
         run: tools/runner.sh configure
       - name: Build

.github/workflows/oldest.yml

@@ -19,7 +19,7 @@ jobs:
       opamroot: /home/coq/.opam
       configopts: -ignore-coq-version
     container:
-      image: coqorg/coq:8.13
+      image: coqorg/coq:8.15
       options: --user root
     steps:
       - name: Checkout