diff --git a/.github/workflows/check-conflicts.yml b/.github/workflows/check-conflicts.yml
deleted file mode 100644
index 8b0de4c01515..000000000000
--- a/.github/workflows/check-conflicts.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: "Check conflicts"
-on: [push]
-# Only on push because @coqbot already takes care of checking for
-# conflicts when PRs are opened or synchronized
-
-permissions:
-  contents: read
-
-jobs:
-  main:
-    permissions:
-      pull-requests: write
-    runs-on: ubuntu-latest
-    steps:
-      - uses: eps1lon/actions-label-merge-conflict@b8bf8341285ec9a4567d4318ba474fee998a6919
-        with:
-          dirtyLabel: "needs: rebase"
-          repoToken: "${{ secrets.GITHUB_TOKEN }}"
diff --git a/.github/workflows/ci-github.yml b/.github/workflows/ci-github.yml
index 33d0319a0b98..468f14874b53 100644
--- a/.github/workflows/ci-github.yml
+++ b/.github/workflows/ci-github.yml
@@ -21,15 +21,9 @@ jobs:
             test_disabled:
             # We exclude the coq-core package
             packages: ./coqide-server.opam ./rocq*.opam
-          - name: Windows
-            os: windows-latest
-            ocaml: 4.14
-            test_disabled: misc coq-makefile precomputed-time-tests
-            # we don't support rocqide on Windows yet, so we filter it, see #20631
-            packages: ./coqide-server.opam ./rocq-*.opam
           - name: Linux (latest OCaml)
             os: ubuntu-latest
-            ocaml: 5
+            ocaml: 5.4
             test_disabled:
             packages: ./coqide-server.opam ./rocq*.opam
       fail-fast: false
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
deleted file mode 100644
index aae73dddba36..000000000000
--- a/.github/workflows/stale.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: Stale PRs
-
-on:
-  schedule:
-    # Every workday at 2am
-    - cron: '0 2 * * 1-5'
-
-permissions:
-  contents: read
-
-jobs:
-  stale_prs:
-    # Do not run on forks (we want this request to happen only once every night)
-    permissions:
-      contents: none
-    if: github.repository_owner == 'rocq-prover'
-    runs-on: ubuntu-latest
-    steps:
-      - run: curl -d "rocq-prover:rocq:${{ secrets.DAILY_SCHEDULE_SECRET }}" https://coqbot.herokuapp.com/check-stale-pr