Always use Python 3.11 in pixi

[emilk]

What

We should all use the same Pyhthon version for linting, otherwise we will get different results. For instance, I get 60 errors running pixi run lint-py-mypy on main

Checklist

• I have read and agree to Contributor Guide and the Code of Conduct
• I've included a screenshot or gif (if applicable)
• I have tested the web demo (if applicable):
  • Using newly built examples: app.rerun.io
  • Using examples from latest main build: app.rerun.io
  • Using full set of examples from nightly build: app.rerun.io
• The PR title and labels are set such as to maximize their usefulness for the next release's CHANGELOG
• If applicable, add a new check to the release checklist!

• PR Build Summary
• Docs preview
• Examples preview
• Recent benchmark results
• Wasm size tracking

[abey79]

Fairly strong reject on my part. As noted on slack, this can cause lots of issues. For example: this caps mypy to a version that supports 3.8, which might be old, and less stringent than more recent mypy version.

My general rule of thumb:

• lint/format/whatnot with the most recent supported version
• run tests on all supported versions

[emilk]

Ok, I've changed it to always run Python 3.12 in pixi instead, and to run our nox "test on all python versions" on CI

[emilk]

This fixes pixi run lint-py-mypy for me, which used to return 60 errors before

[abey79]

Nice!

[emilk]

Trying to get pixi run pip install -r examples/python/requirements.txt to work…

[emilk]

Went down to 3.11 to get CI green, and now pixi run lint-py-mypy fails again oh it works again