Update CI.

.github/workflows/doc.yml

@@ -10,19 +10,31 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Checkout code
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
     - name: Setup OCaml
       uses: avsm/setup-ocaml@v2
       with:
-        ocaml-compiler: 4.14.0
+        ocaml-compiler: 5.00
     - name: Pin locally
       run: opam pin -y add -n .
     - name: Install locally
       run: opam install -y odoc metadata
     - name: Build doc
       run: opam exec dune build @doc
-    - name: Deploy doc
-      uses: JamesIves/github-pages-[email protected]
+    - name: Upload website artifact
+      uses: actions/upload-pages-artifact@v2
       with:
-        branch: gh-pages
-        folder: _build/default/_doc/_html
+        path: _build/default/_doc/_html
+  deploy:
+    needs: build
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy website
+        id: deployment
+        uses: actions/deploy-pages@v2

.github/workflows/main.yml

@@ -4,10 +4,12 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: ocaml/setup-ocaml@v2
+    - name: Checkout
+      uses: actions/checkout@v4
+    - name: Setup OCaml
+      uses: ocaml/setup-ocaml@v2
       with:
-        ocaml-compiler: 4.14.0
+        ocaml-compiler: 5.00
     - name: Install required packages
       run: sudo apt install ffmpeg
     - name: Pin package