diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml
deleted file mode 100644
index c1734736e4c..00000000000
--- a/.github/workflows/bootstrap.yml
+++ /dev/null
@@ -1,68 +0,0 @@
-name: Bootstrap
-
-# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
-concurrency:
-  group: ${{ github.ref }}-${{ github.workflow }}
-  cancel-in-progress: true
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-  release:
-    types:
-      - created
-
-jobs:
-  bootstrap:
-    strategy:
-      matrix:
-        os: [ubuntu-latest]
-        ghc: ["8.10.7", "9.0.2", "9.2.7", "9.4.4"]
-        include:
-          - os: macos-latest
-            ghc: "9.2.7"
-    name: Bootstrap ${{ matrix.os }} ghc-${{ matrix.ghc }}
-    runs-on: ${{ matrix.os }}
-    steps:
-      - uses: actions/cache@v3
-        name: Cache the downloads
-        id: bootstrap-cache
-        with:
-          path: "/home/runner/work/cabal/cabal/_build"
-          key: bootstrap-${{ runner.os }}-${{ matrix.ghc }}-20221115-${{ github.sha }}
-          restore-keys: bootstrap-${{ runner.os }}-${{ matrix.ghc }}-20221115-
-
-      - uses: actions/checkout@v4
-      # See https://github.com/haskell/cabal/pull/8739
-      - name: Sudo chmod to permit ghcup to update its cache
-        run: |
-          if [[ "${{ runner.os }}" == "Linux" ]]; then
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo mkdir -p /usr/local/.ghcup/cache
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo chown -R $USER /usr/local/.ghcup
-            sudo chmod -R 777 /usr/local/.ghcup
-          fi
-      - name: bootstrap.py
-        run: |
-          GHC_VERSION=${{ matrix.ghc }}
-          ghcup --version
-          ghcup config set cache true
-          ghcup install ghc $GHC_VERSION
-
-          # Fetch the bootstrap sources (we use linux dependencies also on macos)
-          python3 bootstrap/bootstrap.py -w $(ghcup whereis ghc $GHC_VERSION) -d bootstrap/linux-$GHC_VERSION.json fetch
-
-          # Bootstrap using the bootstrap sources
-          python3 bootstrap/bootstrap.py -w $(ghcup whereis ghc $GHC_VERSION) --bootstrap-sources bootstrap-sources.tar.gz
-
-      - name: Smoke test
-        run: |
-          _build/bin/cabal --version
-
-      - uses: actions/upload-artifact@v3
-        with:
-          name: cabal-${{ matrix.os }}-${{ matrix.ghc }}-bootstrapped
-          path: _build/artifacts/*
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
deleted file mode 100644
index 84e639e7d1c..00000000000
--- a/.github/workflows/format.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: Formatting
-
-on:
-  pull_request:
-  push:
-    branches: ["master"]
-
-jobs:
-  fourmolu:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - uses: haskell-actions/run-fourmolu@v9
-      with:
-        version: "0.12.0.0"
-        pattern: |
-          Cabal/**/*.hs
-          Cabal-syntax/**/*.hs
-          cabal-install/**/*.hs
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
deleted file mode 100644
index 5e8e95c2c8b..00000000000
--- a/.github/workflows/lint.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: Linting
-
-on:
-  pull_request:
-  push:
-
-jobs:
-  hlint:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - uses: haskell-actions/hlint-setup@v2
-      with:
-        version: "3.5"
-    - uses: haskell-actions/hlint-run@v2
-      with:
-        path: "."
-        fail-on: suggestion
\ No newline at end of file
diff --git a/.github/workflows/quick-jobs.yml b/.github/workflows/quick-jobs.yml
deleted file mode 100644
index 9426ed79724..00000000000
--- a/.github/workflows/quick-jobs.yml
+++ /dev/null
@@ -1,94 +0,0 @@
-name: Quick jobs
-
-# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
-concurrency:
-  group: ${{ github.ref }}-${{ github.workflow }}
-  cancel-in-progress: true
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-  release:
-    types:
-      - created
-
-jobs:
-  meta:
-    name: Meta checks
-    runs-on: ubuntu-latest
-    # This job is not run in a container, any recent GHC should be fine
-    steps:
-      - name: Set PATH
-        # https://docs.github.com/en/free-pro-team@latest/actions/reference/workflow-commands-for-github-actions#adding-a-system-path
-        run: |
-          echo "$HOME/.cabal/bin" >> $GITHUB_PATH
-      - uses: actions/cache@v3
-        with:
-          path: ~/.cabal/store
-          key: linux-store-meta
-      # See https://github.com/haskell/cabal/pull/8739
-      - name: Sudo chmod to permit ghcup to update its cache
-        run: |
-          if [[ "${{ runner.os }}" == "Linux" ]]; then
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo mkdir -p /usr/local/.ghcup/cache
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo chown -R $USER /usr/local/.ghcup
-            sudo chmod -R 777 /usr/local/.ghcup
-          fi
-      - name: ghcup
-        run: |
-          ghcup --version
-          ghcup config set cache true
-          ghcup install ghc recommended
-          ghcup set ghc recommended
-      - name: Update Hackage index
-        run: cabal v2-update
-      - name: Install alex
-        run: cabal v2-install alex --constraint='alex ==3.2.7.3'
-      - uses: actions/checkout@v4
-      - name: Regenerate files
-        run: |
-          make -B lexer
-          make -B spdx
-          make -B templates
-      - name: Check that diff is clean
-        run: |
-          git status > /dev/null
-          git diff-files -p --exit-code
-  doctest:
-    name: Doctest Cabal
-    runs-on: ubuntu-latest
-    steps:
-      - name: Set PATH
-        run: |
-          echo "$HOME/.cabal/bin" >> $GITHUB_PATH
-      - uses: actions/cache@v3
-        with:
-          path: ~/.cabal/store
-          key: linux-store-doctest
-      # See https://github.com/haskell/cabal/pull/8739
-      - name: Sudo chmod to permit ghcup to update its cache
-        run: |
-          if [[ "${{ runner.os }}" == "Linux" ]]; then
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo mkdir -p /usr/local/.ghcup/cache
-            sudo ls -lah /usr/local/.ghcup/cache
-            sudo chown -R $USER /usr/local/.ghcup
-            sudo chmod -R 777 /usr/local/.ghcup
-          fi
-      - name: ghcup
-        run: |
-          ghcup --version
-          ghcup config set cache true
-          ghcup install ghc --set recommended
-          ghcup install cabal --set latest
-      - name: Update Hackage index
-        run: cabal v2-update
-      - uses: actions/checkout@v4
-      - name: Install doctest
-        run: make doctest-install
-      - name: Doctest
-        run: make doctest
diff --git a/.github/workflows/users-guide.yml b/.github/workflows/users-guide.yml
deleted file mode 100644
index ac6d65baedb..00000000000
--- a/.github/workflows/users-guide.yml
+++ /dev/null
@@ -1,79 +0,0 @@
-# Adapted from agda/agda/.github/workflows/user-manual.yml by Andreas, 2021-09-11
-
-name: Assorted
-
-# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
-concurrency:
-  group: ${{ github.ref }}-${{ github.workflow }}
-  cancel-in-progress: true
-
-on:
-  push:
-    branches:
-    - master
-    paths:
-    - 'doc/Makefile'
-    - 'doc/pyproject.toml'
-    - 'doc/requirements.in'
-    - 'doc/requirements.txt'
-    - 'doc/*.inc'
-    - 'doc/*.py'
-    - 'doc/*.rst'
-    - 'doc/**/*.json'
-    - '.github/workflows/users-guide.yml'
-  pull_request:
-    paths:
-    - 'doc/Makefile'
-    - 'doc/pyproject.toml'
-    - 'doc/requirements.in'
-    - 'doc/requirements.txt'
-    - 'doc/*.inc'
-    - 'doc/*.py'
-    - 'doc/*.rst'
-    - 'doc/**/*.json'
-    - '.github/workflows/users-guide.yml'
-  release:
-    types:
-      - created
-
-defaults:
-  run:
-    shell: bash
-
-jobs:
-  build:
-    name: Users guide
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        python-version: ['3.10']
-
-    steps:
-    - uses: actions/checkout@v4
-      with:
-        submodules: recursive
-
-    - name: Set up Python ${{ matrix.python-version }}
-      uses: actions/setup-python@v4
-      with:
-        python-version: ${{ matrix.python-version }}
-
-    # Subsumed by make users-guide
-    # - name: Install dependencies
-    #   run: |
-    #     pip install -r doc/requirements.txt
-
-    - name: Build User's Guide in HTML
-      run: |
-        make SPHINX_HTML_OUTDIR=html users-guide
-
-    - uses: actions/upload-artifact@v3
-      with:
-        name: users-guide-html
-        path: html/
-
-    - name: Check security of requirements.txt
-      env:
-        SKJOLD_GITHUB_API_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      run: |
-        make -C doc check-requirements
diff --git a/.github/workflows/validate.yml b/.github/workflows/validate.yml
index 8c9c3203806..af0136a365d 100644
--- a/.github/workflows/validate.yml
+++ b/.github/workflows/validate.yml
@@ -37,8 +37,10 @@ jobs:
       GHC_FOR_RELEASE: ${{ format('["{0}"]', env.GHC_FOR_RELEASE) }}
     strategy:
       matrix:
-        os: ["ubuntu-latest", "macos-latest", "windows-latest"]
-        ghc: ["9.6.3", "9.4.7", "9.2.7", "9.0.2", "8.10.7", "8.8.4", "8.6.5", "8.4.4"]
+        # os: ["ubuntu-latest", "macos-latest", "windows-latest"]
+        # ghc: ["9.6.3", "9.4.7", "9.2.7", "9.0.2", "8.10.7", "8.8.4", "8.6.5", "8.4.4"]
+        os: ["windows-latest"]
+        ghc: ["9.4.7"]
         exclude:
           # corrupts GHA cache or the fabric of reality itself, see https://github.com/haskell/cabal/issues/8356
           - os: "windows-latest"