Modernize CI

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

.github/workflows/master.yml

@@ -20,22 +20,21 @@ jobs:
       #OCANREN_DOCS: yes
       OPAMROOT: /home/user/.opam
 
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-latest
     container:
       image: kakadu18/ocaml:pltools
       options: --user user
 
+    concurrency:
+      group: ${{ github.workflow }}-${{ github.ref }}
+      cancel-in-progress: true
+
     steps:
       - run: opam --version
       - run: opam exec -- ocamlopt --version
 
-      - name: Cancel Previous Runs
-        uses: styfle/cancel-workflow-action@0.11.0
-        with:
-          access_token: ${{ github.token }}
-
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - run: opam update
 
@@ -56,7 +55,7 @@ jobs:
         #if: ${{ github.event.pull_request.head.repo.full_name == 'PLTools/OCanren' }}
         #if: false
         # We do not deploy in forks
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./_build/default/_doc/_html