diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
deleted file mode 100644
index 4fb13add..00000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,42 +0,0 @@
-name: github pages
-
-on:
-  push:
-    branches:
-      - main  # Set a branch name to trigger deployment
-
-jobs:
-  deploy:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v4
-
-      - name: Cache opam
-        id: cache-opam
-        uses: actions/cache@v3
-        with:
-          path: ~/.opam
-          key: opam-ubuntu-latest-5.0.0
-
-      - uses: avsm/setup-ocaml@v2
-        with:
-          ocaml-compiler: 'ocaml-base-compiler.5.0.0'
-          default: https://github.com/ocaml/opam-repository.git
-
-      - name: Pin packages
-        run: opam pin -n .
-
-      - name: Install dependencies
-        run: opam install -d . --deps-only
-
-      - name: Build
-        run: opam exec -- dune build @doc
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_build/default/_doc/_html/
-          destination_dir: dev
-          enable_jekyll: true
diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml
deleted file mode 100644
index 22e563a8..00000000
--- a/.github/workflows/opam.yml
+++ /dev/null
@@ -1,45 +0,0 @@
-name: OPAM installation
-
-concurrency:
-  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
-  cancel-in-progress: true
-
-on: [push, pull_request, workflow_dispatch]
-
-jobs:
-  build-and-test:
-    env:
-      QCHECK_MSG_INTERVAL:      '60'
-
-    strategy:
-      matrix:
-        ocaml-compiler:
-          - 4.12.x
-          - 4.13.x
-          - 4.14.x
-          - 5.0.0
-          - 5.1.0
-          - ocaml-variants.5.2.0+trunk
-
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v4
-
-      - name: Install OCaml compiler
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
-          opam-depext: false
-
-      - name: Test installation of the OPAM packages
-        run: |
-          opam install --with-test ./qcheck-multicoretests-util.opam ./qcheck-lin.opam ./qcheck-stm.opam
-
-      - name: Show configuration
-        run: |
-          opam exec -- ocamlc -config
-          opam config list
-          opam exec -- dune printenv
-          opam list --columns=name,installed-version,repository,synopsis-or-target