Merge pull request #306 from egraphs-good/saulshanabrook-patch-3

Fix CodSpeed symbol resolution

Author: saulshanabrook

.github/workflows/CI.yml

@@ -56,17 +56,23 @@ jobs:
         runner: [ codspeed-macro, ubuntu-latest ]
     steps:
       - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version-file: ".python-version"
       - uses: astral-sh/setup-uv@v6
         with:
           enable-cache: true
       - uses: dtolnay/[email protected]
       - uses: Swatinem/rust-cache@v2
-      - run: uv sync --extra test --locked
-      - uses: CodSpeedHQ/action@v3
+      - run: |
+          export UV_PROJECT_ENVIRONMENT="${pythonLocation}"
+          uv sync --extra test --locked
+      - uses: CodSpeedHQ/[email protected]
         with:
           token: ${{ secrets.CODSPEED_TOKEN }}
           # allow updating snapshots due to indeterministic benchmarks
-          run: uv run pytest -vvv -n auto  --snapshot-update
+          run: pytest -vvv --snapshot-update --durations=10
 
   docs:
     runs-on: ubuntu-latest

.python-version

@@ -1 +1 @@
-3.12
+3.13