Merge remote-tracking branch 'upstream/develop' into distro-meson

Author: tobiasdiez

.devcontainer/portability-archlinux-latest-minimal/devcontainer.json

@@ -0,0 +1,2 @@
+FROM archlinux
+RUN pacman -Syu --noconfirm bash git python

.devcontainer/portability-archlinux-latest-minimal/portability-Dockerfile

@@ -0,0 +1,23 @@
+// See https://aka.ms/devcontainer.json for format details.
+{
+    "name": "archlinux",
+    //"image": "archlinux",
+    "dockerFile": "Dockerfile",
+    "onCreateCommand": ".devcontainer/onCreate-meson.sh || true",
+    "features": {
+        // Git feature is not compatible with Arch Linux, so we install it manually in the Dockerfile 
+        // https://github.com/devcontainers/features/issues/824
+        //"ghcr.io/devcontainers/features/git": {},
+        //"ghcr.io/devcontainers/features/python:1": {},
+        "../uv": {
+			"version": "latest"
+		}
+    },
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "ms-python.python"
+            ]
+        }
+    }
+}

.devcontainer/portability-archlinux-latest-standard/devcontainer.json

@@ -36,7 +36,7 @@ jobs:
             tests: 'new'
           # one additional editable run in pull_request, this has no effect if not pull_request
           - os: 'ubuntu'
-            python: 3.12
+            python: '3.12'
             editable: true
             tests: 'all'
           - os: windows
@@ -185,5 +185,5 @@ jobs:
         uses: actions/[email protected]
         if: failure()
         with:
-          name: ${{ runner.os }}-meson-${{ matrix.python }}${{ matrix.editable && '-editable' || '' }}-log
+          name: ${{ runner.os }}-meson-${{ matrix.python }}${{ matrix.editable && '-editable' || '' }}${{ matrix.tests == 'new' && '-new' || '' }}-log
           path: builddir/meson-logs/

.devcontainer/portability-archlinux-latest-standard/portability-Dockerfile

@@ -23,6 +23,7 @@ jobs:
           - fedora:41
           - fedora:42
           - ghcr.io/void-linux/void-glibc-full
+          - archlinux
           #- ubuntu:22.04 - fails due to issue with cypari2
           #- ubuntu:24.04 - fails due to issue with cypari2
           - ubuntu:25.04
@@ -38,6 +39,11 @@ jobs:
             # node-based actions require libstdc++.so.6
             xbps-install -Sy libstdc++ bash git
           fi
+          if [ "${{ matrix.container }}" = "archlinux" ]; then
+            # The archlinux container is configured to not install docs by default
+            # but we need the maxima help to be in place
+            sed -i '/^NoExtract/d' /etc/pacman.conf
+          fi
 
       - name: Checkout code
         # cannot use v4 yet because of https://github.com/actions/checkout/issues/1487
@@ -51,7 +57,11 @@ jobs:
       - name: Set up Python
         run: |
           uv python install
-          uv venv
+          if [ "${{ matrix.container }}" = "ghcr.io/void-linux/void-glibc-full" ] || [ "${{ matrix.container }}" = "archlinux" ]; then
+            uv venv --system-site-packages
+          else
+            uv venv
+          fi
           . .venv/bin/activate
           echo PATH=$PATH >> $GITHUB_ENV
 

.devcontainer/portability-archlinux/Dockerfile

@@ -85,7 +85,7 @@ jobs:
       CAN_DEPLOY: ${{ secrets.SAGEMATH_PYPI_API_TOKEN != '' && github.event_name != 'pull_request' }}
     steps:
       - uses: actions/checkout@v4
-    
+
       - name: Setup Conda environment
         uses: conda-incubator/setup-miniconda@v3
         with:
@@ -141,14 +141,14 @@ jobs:
           path: dist
       - name: Create release
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_PAT: ${{ secrets.RELEASE_CREATION_TOKEN }}
         run: |
           latest_release_tag=$(curl -s https://api.github.com/repos/${{ github.repository }}/releases \
           | jq -r 'sort_by(.created_at) | last(.[]).tag_name')
           release_notes=$(curl -s \
             -X POST \
             -H "Accept: application/vnd.github+json" \
-            -H "Authorization: Bearer $GITHUB_TOKEN" \
+            -H "Authorization: Bearer $GITHUB_PAT" \
             -H "X-GitHub-Api-Version: 2022-11-28" \
             https://api.github.com/repos/${{ github.repository }}/releases/generate-notes \
             -d "{
@@ -160,7 +160,7 @@ jobs:
           curl -L \
             -X POST \
             -H "Accept: application/vnd.github+json" \
-            -H "Authorization: Bearer $GITHUB_TOKEN" \
+            -H "Authorization: Bearer $GITHUB_PAT" \
             -H "X-GitHub-Api-Version: 2022-11-28" \
             https://api.github.com/repos/${{ github.repository }}/releases \
             -d "{
@@ -174,6 +174,8 @@ jobs:
           files: |
             dist/*
             upstream/*
+          token: ${{ secrets.GITHUB_TOKEN }}
+          tag_name: ${{ github.ref_name }}
     permissions:
       contents: write
 

.devcontainer/portability-archlinux/devcontainer.json

@@ -44,7 +44,7 @@ jobs:
           path: ~/conda_pkgs_dir
           key:
             ${{ runner.os }}-conda-${{ hashFiles('environment-${{ env.PYTHON_VERSION }}-linux.yml') }}
-  
+
       - name: Compiler cache
         uses: hendrikmuhs/[email protected]
         with:
@@ -62,7 +62,7 @@ jobs:
           channel-priority: true
           activate-environment: sage-dev
           environment-file: environment-${{ env.PYTHON_VERSION }}-linux.yml
-        
+
       - name: Build Sage
         shell: bash -l {0}
         run: |
@@ -123,6 +123,7 @@ jobs:
                                                   -e 's;#L[0-9]*";";' \
                                                   -e 's;tab-set--[0-9]*-;tab-set-;g' \
                                                   -e 's;"tab-set--[0-9]*";"tab-set";' \
+                                                  -e 's/0x[0-9a-fA-F]*>/0x12345678\>/' \
              && true)
             # If the regex list above is changed, the sed command in "Copy doc" step should also be changed
             # Create git repo from old doc
@@ -168,6 +169,7 @@ jobs:
                                                   -e 's;#L[0-9]*";";' \
                                                   -e 's;tab-set--[0-9]*-;tab-set-;g' \
                                                   -e 's;"tab-set--[0-9]*";"tab-set";' \
+                                                  -e 's/0x[0-9a-fA-F]*>/0x12345678\>/' \
              && git commit -a -m 'wipe-out')
             # If the regex list above is changed, the sed command in "Store old doc" step should also be changed
             # Since HEAD is at commit 'wipe-out', HEAD~1 is commit 'new' (new doc), HEAD~2 is commit 'old' (old doc)