diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
deleted file mode 100644
index 535c2948c39..00000000000
--- a/.github/workflows/build.yml
+++ /dev/null
@@ -1,594 +0,0 @@
-name: Build & Test
-
-on:
-  pull_request:
-  merge_group:
-  push:
-    branches:
-      - master
-      - develop
-    # Ignore pushes on tags to prevent two uploads of codecov reports
-    tags-ignore: ['**']
-  workflow_dispatch:
-    # Allow to run manually
-    inputs:
-      platform:
-        description: 'Platform'
-        required: true
-        default: 'ubuntu-jammy-standard'
-      docker_tag:
-        description: 'Docker tag'
-        required: true
-        default: 'dev'
-
-concurrency:
-  # Cancel previous runs of this workflow for the same branch
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
-#
-# The three workflows:
-#
-#  - build.yml (with jobs test-new, test-mod, test-long),
-#  - doc-build.yml,
-#  - doc-build-pdf.yml
-#
-# each build Sage:
-#
-#  - incrementally starting from a Docker image that ci-linux.yml
-#    publishes on each development release to ghcr.io,
-#  - orchestrated using a tox-generated Dockerfile,
-#  - using https://github.com/marketplace/actions/build-and-push-docker-images,
-#  - pushing the image to a local registry,
-#  - then executing a container loaded from that registry,
-#
-# and then run various tests or build the documentation.
-#
-# Without the use of a cache, this runs the same incremental rebuild of Sage
-# multiple times; there is no interaction between these workflow and jobs.
-#
-# This baseline is transparently improved by our use of the GH Actions cache,
-# see https://docs.docker.com/build/ci/github-actions/cache/#cache-backend-api.
-#
-# Jobs test-mod and test-long are only started after test-new completed;
-# but the workflows doc-build.yml and doc-build-pdf.yml are started independently.
-#
-#  - When nothing is cached and the 3 workflows are launched in parallel,
-#    they may each run the same incremental rebuild.
-#
-#  - When there's congestion that leads to the workflows to be run serially,
-#    the 2nd and 3rd workflow will be able to use the cache from the 1st workflow.
-#
-# This elasticity may be helpful in reducing congestion.
-#
-# There is a rather small per-project limit of 10 GB for this cache.
-# Use https://github.com/sagemath/sage/actions/caches to monitor the utilization
-# of the cache.
-#
-
-env:
-  # Adapted from docker.yml
-  TOX_ENV:                "docker-${{ github.event.inputs.platform || 'ubuntu-jammy-standard' }}-incremental"
-  BUILD_IMAGE:            "localhost:5000/${{ github.repository }}/sage-${{ github.event.inputs.platform || 'ubuntu-jammy-standard' }}-with-targets:ci"
-  FROM_DOCKER_REPOSITORY: "ghcr.io/sagemath/sage/"
-  FROM_DOCKER_TARGET:     "with-targets"
-  FROM_DOCKER_TAG:        ${{ github.event.inputs.docker_tag || 'dev'}}
-  EXTRA_CONFIGURE_ARGS:   --enable-fat-binary
-
-jobs:
-  test-new:
-    runs-on: ubuntu-latest
-    outputs:
-      build_targets:     ${{ steps.build-targets.outputs.build_targets }}
-    services:
-      # https://docs.docker.com/build/ci/github-actions/local-registry/
-      registry:
-        image: registry:2
-        ports:
-          - 5000:5000
-    steps:
-      - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v10
-        with:
-          # need space in /var for Docker images
-          root-reserve-mb:      30000
-          remove-dotnet:        true
-          remove-android:       true
-          remove-haskell:       true
-          remove-codeql:        true
-          remove-docker-images: true
-
-      - name: Checkout
-        id: checkout
-        uses: actions/checkout@v4
-
-      - name: Get changed files and packages
-        id: changed-files
-        uses: tj-actions/changed-files@v45
-        with:
-          # File extensions for doctests per sage.doctest.control.skipfile
-          files_yaml: |
-            configures:
-              - 'build/pkgs/*/spkg-configure.m4'
-            pkgs:
-              - 'build/pkgs/**'
-              - '!build/pkgs/_**'
-              - '!build/pkgs/configure/**'
-              - 'pkgs/**'
-            doctests:
-              - 'src/**/*.{py,pyx,pxd,pxi,sage,spyx,rst,tex}'
-              - '!src/{setup,conftest*}.py'
-
-      - name: Determine targets to build
-        id: build-targets
-        run: |
-          uninstall_targets=$(echo $(
-            for a in '' ${{ steps.changed-files.outputs.configures_all_changed_files }}; do
-              # Extract package name from the file path and append '-uninstall'
-              echo $a | sed -E 's,build/pkgs/([a-z0-9][_.a-z0-9]*)/spkg-configure[.]m4 *,\1-uninstall,'
-            done | sort -u  # Sort and ensure uniqueness
-          ))
-          build_targets=$(echo $(
-            for a in '' ${{ steps.changed-files.outputs.pkgs_all_changed_files }}; do
-              # Extract package name, replace '-' with '_', and strip extra parts from the path
-              SPKG=$(echo $a | sed -E 's,-,_,g;s,(build/)?pkgs/([a-z0-9][-_.a-z0-9]*)/[^ ]* *,\2,;')
-              # Check if key files exist in the package directory
-              if [ -f "build/pkgs/$SPKG/checksums.ini" ] || \
-                 [ -f "build/pkgs/$SPKG/requirements.txt" ] || \
-                 [ -f "build/pkgs/$SPKG/spkg-install" ]; then
-                echo "$SPKG-ensure"  # add the "$SPKG-ensure" target
-              fi
-            done | sort -u  # Sort and ensure uniqueness
-          ))
-          if [ -n "$uninstall_targets" ]; then
-            echo "build_targets=$uninstall_targets reconfigure $build_targets ci-build-with-fallback" >> $GITHUB_OUTPUT
-          else
-            echo "build_targets=$build_targets ci-build-with-fallback" >> $GITHUB_OUTPUT
-          fi
-          cat $GITHUB_OUTPUT
-
-      - uses: actions/checkout@v4
-        with:
-          ref: ${{ github.base_ref }}
-          path: worktree-base
-        if: github.base_ref && steps.changed-files.outputs.pkgs_all_changed_files
-
-      - name: Compute metrics
-        run: |
-          export PATH=build/bin:$PATH
-          if [ -d worktree-base ]; then
-            (echo "# $GITHUB_BASE_REF"; SAGE_ROOT=worktree-base sage-package metrics :all:) > base-metrics.txt
-            (echo "# $GITHUB_REF"; sage-package metrics :all:) > metrics.txt
-            diff --color=always --width=100 --side-by-side --left-column base-metrics.txt metrics.txt || true
-          else
-            sage-package metrics :all:
-          fi
-
-      - name: Install test prerequisites
-        # From docker.yml
-        run: |
-          sudo DEBIAN_FRONTEND=noninteractive apt-get update
-          sudo DEBIAN_FRONTEND=noninteractive apt-get install tox
-          sudo apt-get clean
-          df -h
-
-      - name: Merge CI fixes from sagemath/sage
-        # From docker.yml
-        # This step needs to happen after the commit sha is put in DOCKER_TAG
-        # so that multi-stage builds can work correctly.
-        run: |
-          mkdir -p upstream
-          .ci/merge-fixes.sh 2>&1 | tee upstream/ci_fixes.log
-        env:
-          GH_TOKEN: ${{ github.token }}
-          SAGE_CI_FIXES_FROM_REPOSITORIES: ${{ vars.SAGE_CI_FIXES_FROM_REPOSITORIES }}
-
-      # Building
-
-      - name: Generate Dockerfile
-        # From docker.yml
-        run: |
-          tox -e ${{ env.TOX_ENV }}
-          cp .tox/${{ env.TOX_ENV }}/Dockerfile .
-        env:
-          # Only generate the Dockerfile, do not run 'docker build' here
-          DOCKER_TARGETS: ""
-
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v3
-        with:
-          driver-opts: network=host
-
-      - name: Build Docker image
-        id: image
-        uses: docker/build-push-action@v6
-        with:
-          # push and load may not be set together at the moment
-          #
-          # We are using "push" (to the local registry) because it was
-          # more reliable than "load", for which we observed random failure
-          # conditions in which the built image could not be found.
-          #
-          push:       ${{ steps.changed-files.outputs.doctests_all_changed_files && true || false }}
-          load:       false
-          context:    .
-          tags:       ${{ env.BUILD_IMAGE }}
-          target:     with-targets
-          cache-from: type=gha
-          cache-to:   type=gha,mode=max
-          build-args: |
-            NUMPROC=6
-            USE_MAKEFLAGS=-k V=0 SAGE_NUM_THREADS=4 --output-sync=recurse
-            TARGETS_PRE=build/make/Makefile
-            TARGETS=${{ steps.build-targets.outputs.build_targets }}
-
-      - name: Start container
-        id: container
-        # Try to continue when "exporting to GitHub Actions Cache" failed with timeout
-        if: (success() || failure()) && steps.changed-files.outputs.doctests_all_changed_files
-        run: |
-          docker run --name BUILD -dit \
-                     --mount type=bind,src=$(pwd),dst=$(pwd) \
-                     --workdir $(pwd) \
-                     ${{ env.BUILD_IMAGE }} /bin/sh
-
-      # Testing
-
-      - name: Check that all modules can be imported
-        if: (success() || failure()) && steps.container.outcome == 'success' && steps.changed-files.outputs.doctests_all_changed_files
-        run: |
-          # Increase the length of the lines in the "short summary"
-          export COLUMNS=120
-          # The following command checks that all modules can be imported.
-          # The output also includes a long list of modules together with the number of tests in each module.
-          # This can be ignored.
-          ./sage -python -m pip install pytest-xdist
-          ./sage -python -m pytest -c tox.ini -qq --doctest --collect-only || true
-        shell: sh .ci/docker-exec-script.sh BUILD /sage {0}
-
-      - name: Test changed files (sage -t --new)
-        if: (success() || failure()) && steps.container.outcome == 'success' && steps.changed-files.outputs.doctests_all_changed_files
-        run: |
-          export MAKE="make -j2 --output-sync=recurse" SAGE_NUM_THREADS=4
-          # https://github.com/tj-actions/changed-files?tab=readme-ov-file#outputs-
-          ./sage -t --long --format github -p4 ${{ steps.changed-files.outputs.doctests_all_changed_files }}
-        shell: sh .ci/docker-exec-script.sh BUILD /sage {0}
-
-  test-mod:
-    runs-on: ubuntu-latest
-    needs: [test-new]
-    services:
-      # https://docs.docker.com/build/ci/github-actions/local-registry/
-      registry:
-        image: registry:2
-        ports:
-          - 5000:5000
-    strategy:
-      fail-fast: false
-      matrix:
-        targets:
-          - sagemath_categories-check
-    steps:
-      - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v10
-        with:
-          # need space in /var for Docker images
-          root-reserve-mb:      30000
-          remove-dotnet:        true
-          remove-android:       true
-          remove-haskell:       true
-          remove-codeql:        true
-          remove-docker-images: true
-
-      - name: Checkout
-        id: checkout
-        uses: actions/checkout@v4
-
-      - name: Install test prerequisites
-        # From docker.yml
-        run: |
-          sudo DEBIAN_FRONTEND=noninteractive apt-get update
-          sudo DEBIAN_FRONTEND=noninteractive apt-get install tox
-          sudo apt-get clean
-          df -h
-
-      - name: Merge CI fixes from sagemath/sage
-        # From docker.yml
-        # This step needs to happen after the commit sha is put in DOCKER_TAG
-        # so that multi-stage builds can work correctly.
-        run: |
-          .ci/merge-fixes.sh
-        env:
-          GH_TOKEN: ${{ github.token }}
-
-      # Building
-
-      - name: Generate Dockerfile
-        # From docker.yml
-        run: |
-          tox -e ${{ env.TOX_ENV }}
-          cp .tox/${{ env.TOX_ENV }}/Dockerfile .
-        env:
-          # Only generate the Dockerfile, do not run 'docker build' here
-          DOCKER_TARGETS: ""
-
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v3
-        with:
-          driver-opts: network=host
-
-      - name: Build Docker image
-        id: image
-        uses: docker/build-push-action@v6
-        with:
-          push:       true
-          load:       false
-          context:    .
-          tags:       ${{ env.BUILD_IMAGE }}
-          target:     with-targets
-          cache-from: type=gha
-          cache-to:   type=gha,mode=max
-          build-args: |
-            NUMPROC=6
-            USE_MAKEFLAGS=-k V=0 SAGE_NUM_THREADS=4 --output-sync=recurse
-            TARGETS_PRE=build/make/Makefile
-            TARGETS=${{ needs.test-new.outputs.build_targets }}
-
-      - name: Start container
-        id: container
-        if: (success() || failure())
-        run: |
-          docker run --name BUILD -dit \
-                     --mount type=bind,src=$(pwd),dst=$(pwd) \
-                     --workdir $(pwd) \
-                     ${{ env.BUILD_IMAGE }} /bin/sh
-
-      # Testing
-
-      - name: Test modularized distributions
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        run: |
-          export MAKE="make -j2 --output-sync=recurse" SAGE_NUM_THREADS=4
-          make V=0 tox-ensure && make ${{ matrix.targets }}
-        shell: sh .ci/docker-exec-script.sh BUILD /sage {0}
-
-  test-long:
-    runs-on: ubuntu-latest
-    needs: [test-new]
-    services:
-      # https://docs.docker.com/build/ci/github-actions/local-registry/
-      registry:
-        image: registry:2
-        ports:
-          - 5000:5000
-    strategy:
-      fail-fast: false
-      matrix:
-        tests:
-          - "src/sage/[a-f]*"
-          - "src/sage/[g-o]*"
-          - "src/sage/[p-z]*"
-          - "src/doc src/sage_docbuild src/sage_setup"
-    steps:
-      - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v10
-        with:
-          # need space in /var for Docker images
-          root-reserve-mb:      30000
-          remove-dotnet:        true
-          remove-android:       true
-          remove-haskell:       true
-          remove-codeql:        true
-          remove-docker-images: true
-
-      - name: Checkout
-        id: checkout
-        uses: actions/checkout@v4
-
-      - name: Install test prerequisites
-        # From docker.yml
-        run: |
-          sudo DEBIAN_FRONTEND=noninteractive apt-get update
-          sudo DEBIAN_FRONTEND=noninteractive apt-get install tox
-          sudo apt-get clean
-          df -h
-
-      - name: Merge CI fixes from sagemath/sage
-        # From docker.yml
-        # This step needs to happen after the commit sha is put in DOCKER_TAG
-        # so that multi-stage builds can work correctly.
-        run: |
-          .ci/merge-fixes.sh
-        env:
-          GH_TOKEN: ${{ github.token }}
-
-      # Building
-
-      - name: Generate Dockerfile
-        # From docker.yml
-        run: |
-          tox -e ${{ env.TOX_ENV }}
-          cp .tox/${{ env.TOX_ENV }}/Dockerfile .
-        env:
-          # Only generate the Dockerfile, do not run 'docker build' here
-          DOCKER_TARGETS: ""
-
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v3
-        with:
-          driver-opts: network=host
-
-      - name: Build Docker image
-        id: image
-        uses: docker/build-push-action@v6
-        with:
-          push:       true
-          load:       false
-          context:    .
-          tags:       ${{ env.BUILD_IMAGE }}
-          target:     with-targets
-          cache-from: type=gha
-          cache-to:   type=gha,mode=max
-          build-args: |
-            NUMPROC=6
-            USE_MAKEFLAGS=-k V=0 SAGE_NUM_THREADS=4 --output-sync=recurse
-            TARGETS_PRE=build/make/Makefile
-            TARGETS=${{ needs.test-new.outputs.build_targets }}
-
-      - name: Start container
-        id: container
-        if: (success() || failure())
-        run: |
-          docker run --name BUILD -dit \
-                     --mount type=bind,src=$(pwd),dst=$(pwd) \
-                     --workdir $(pwd) \
-                     ${{ env.BUILD_IMAGE }} /bin/sh
-
-      # Testing
-
-      - name: Test all files (sage -t --long ${{ matrix.tests }})
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        run: |
-          mkdir .coverage
-          rm -rf /sage/.coverage
-          ln -s $(pwd)/.coverage /sage/
-          cd /sage
-          ./sage -python -m pip install coverage
-          ./sage -python -m coverage run --rcfile=src/tox.ini src/bin/sage-runtests --force-lib --long -p4 --format github --random-seed=286735480429121101562228604801325644303 ${{ matrix.tests }}
-        shell: sh .ci/docker-exec-script.sh BUILD . {0}
-
-      - name: Combine coverage results
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        run: |
-          ./sage -python -m coverage combine --rcfile=src/tox.ini
-        shell: sh .ci/docker-exec-script.sh BUILD /sage {0}
-
-      - name: Prepare upload
-        id: copy-coverage
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        run: |
-          echo tests_id=$(echo "${{ matrix.tests }}" | sed -E 's, +,--,g;s,/,_,g;s/[^-_A-Za-z]//g;') >> "$GITHUB_OUTPUT"
-
-      - name: Upload coverage results
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        uses: actions/upload-artifact@v4
-        with:
-          # The path .coverage is a directory that contains the combined coverage
-          # data file .coverage, which is a hidden file because of the leading dot
-          name: coverage-${{ steps.copy-coverage.outputs.tests_id }}
-          path: .coverage
-          include-hidden-files: true
-
-  coverage-report:
-    runs-on: ubuntu-latest
-    needs: [test-long]
-    if: (success() || failure())
-    services:
-      # https://docs.docker.com/build/ci/github-actions/local-registry/
-      registry:
-        image: registry:2
-        ports:
-          - 5000:5000
-    steps:
-      - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v10
-        with:
-          # need space in /var for Docker images
-          root-reserve-mb:      30000
-          remove-dotnet:        true
-          remove-android:       true
-          remove-haskell:       true
-          remove-codeql:        true
-          remove-docker-images: true
-
-      - name: Checkout
-        id: checkout
-        uses: actions/checkout@v4
-
-      - name: Install test prerequisites
-        # From docker.yml
-        run: |
-          sudo DEBIAN_FRONTEND=noninteractive apt-get update
-          sudo DEBIAN_FRONTEND=noninteractive apt-get install tox
-          sudo apt-get clean
-          df -h
-
-      - name: Merge CI fixes from sagemath/sage
-        # From docker.yml
-        # This step needs to happen after the commit sha is put in DOCKER_TAG
-        # so that multi-stage builds can work correctly.
-        run: |
-          .ci/merge-fixes.sh
-        env:
-          GH_TOKEN: ${{ github.token }}
-
-      # Building
-
-      - name: Generate Dockerfile
-        # From docker.yml
-        run: |
-          tox -e ${{ env.TOX_ENV }}
-          cp .tox/${{ env.TOX_ENV }}/Dockerfile .
-        env:
-          # Only generate the Dockerfile, do not run 'docker build' here
-          DOCKER_TARGETS: ""
-
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v3
-        with:
-          driver-opts: network=host
-
-      - name: Build Docker image
-        id: image
-        uses: docker/build-push-action@v6
-        with:
-          push:       true
-          load:       false
-          context:    .
-          tags:       ${{ env.BUILD_IMAGE }}
-          target:     with-targets
-          cache-from: type=gha
-          cache-to:   type=gha,mode=max
-          build-args: |
-            NUMPROC=6
-            USE_MAKEFLAGS=-k V=0 SAGE_NUM_THREADS=4 --output-sync=recurse
-            TARGETS_PRE=build/make/Makefile
-            TARGETS=${{ needs.test-new.outputs.build_targets }}
-
-      - name: Start container
-        id: container
-        if: (success() || failure())
-        run: |
-          docker run --name BUILD -dit \
-                     --mount type=bind,src=$(pwd),dst=$(pwd) \
-                     --workdir $(pwd) \
-                     ${{ env.BUILD_IMAGE }} /bin/sh
-
-      # Combining
-
-      - name: Download coverage artifacts
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        uses: actions/download-artifact@v4
-        with:
-          path: .coverage
-          pattern: coverage-*
-
-      - name: Coverage report
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        # Using --omit to avoid "CoverageWarning: Couldn't parse '/tmp/tmp06qizzie/tmp_ldpu46ob.py': No source for code"
-        run: |
-          rm -rf /sage/.coverage
-          ln -s $(pwd)/.coverage /sage/
-          cd /sage
-          ./sage -python -m pip install coverage
-          ./sage -python -m coverage combine --rcfile=src/tox.ini .coverage/coverage-*/.coverage
-          ./sage -python -m coverage xml --rcfile=src/tox.ini --omit="/tmp/*"
-          mkdir -p .coverage/coverage-report
-          mv coverage.xml .coverage/coverage-report/
-        shell: sh .ci/docker-exec-script.sh BUILD . {0}
-
-      - name: Upload coverage to codecov
-        if: (success() || failure()) && steps.container.outcome == 'success'
-        uses: codecov/codecov-action@v5
-        with:
-          directory: .coverage/coverage-report