srctree

Robin Linden parent 17dd7680 b0f4bd4c
ci: Drop now-unnecessary explicit Python setup

.github/workflows/ci.yaml added: 1, removed: 5, total 0
@@ -376,10 +376,6 @@ jobs:
timeout-minutes: 30
steps:
- uses: actions/checkout@v4
# mypy gets upset about \ in f-strings if Python is too old.
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: pipx install mypy==1.9.0
- run: mypy --strict $(find . -name "*.py")