srctree

Robin Linden parent bc2f9227 2dbf1a07
ci: Use pipx to install pypi-provided tools

This installs each command in a separate venv which is just goodpractice.

inlinesplit
.github/workflows/ci.yaml added: 6, removed: 6, total 0
@@ -167,7 +167,7 @@ jobs:
# "info - 2024-06-21 21:24:10,269 -- The PR is happening in a forked
# repo. Using tokenless upload."
run: |
pip install codecov-cli==0.6.0
pipx install codecov-cli==0.6.0
codecovcli upload-process --fail-on-error --file bazel-out/_coverage/_coverage_report.dat
 
linux-gcc-13-no-exceptions:
@@ -285,7 +285,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Install pre-commit
run: pip install pre-commit==3.8.0
run: pipx install pre-commit==3.8.0
- name: Run pre-commit
run: pre-commit run --all-files
 
@@ -372,7 +372,7 @@ jobs:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- run: pip install gitlint-core==0.19.1
- run: pipx install gitlint-core==0.19.1
- run: gitlint --commits origin/master..
 
# https://github.com/astral-sh/ruff
@@ -381,7 +381,7 @@ jobs:
timeout-minutes: 30
steps:
- uses: actions/checkout@v4
- run: pip install ruff==0.6.1
- run: pipx install ruff==0.6.1
- run: ruff check --output-format=github
- run: ruff format --diff
 
@@ -395,7 +395,7 @@ jobs:
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: pip install mypy==1.9.0
- run: pipx install mypy==1.9.0
- run: mypy --strict $(find . -name "*.py")
 
concurrency: