Merge branch 'main' into add-dylan

Author: xrmx

.github/workflows/benchmarks.yml

@@ -12,14 +12,17 @@ jobs:
     permissions:
       contents: write # required for pushing to gh-pages
     runs-on: oracle-bare-metal-64cpu-512gb-x86-64
+    container:
+      image: python:3.13-slim
     steps:
+    - name: Install Git # since Git isn't available in the container image used above
+      run: |
+        apt-get update
+        apt-get install -y git
+    - name: Make repo safe for Git inside container
+      run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: Checkout Core Repo @ SHA - ${{ github.sha }}
       uses: actions/checkout@v4
-    - name: Set up Python
-      uses: actions/setup-python@v5
-      with:
-        python-version: "3.13"
-        architecture: 'x64'
     - name: Install tox
       run: pip install tox-uv
     - name: Run tox