61aa5b0263
Dan Fandrich
2026-08-29
Subject
CI: add a test of Python code using pyrefly
Binary
No binary (build failed)
Architecture & Compiler Flags
—
Build Log
(log yok)
Commit Diff GitHub →
.github/scripts/requirements.txt+1 -0
| @@ -4,5 +4,6 @@ | |
| cmakelang==0.6.13 | |
| codespell==2.4.3 | |
| + | pyrefly==1.2.0 |
| reuse==6.2.0 | |
| ruff==0.16.2 | |
.github/workflows/checksrc.yml+6 -0
| @@ -82,6 +82,12 @@ jobs: | |
| source ~/venv/bin/activate | |
| scripts/pythonlint.sh | |
| + | - name: 'pyrefly' |
| + | run: | |
| + | source ~/venv/bin/activate |
| + | cd tests/http/ |
| + | pyrefly check --python-version=3.8 --preset=basic --check-unannotated-defs --summary |
| + | |
| - name: filter off code from all C and H files | |
| run: | | |
| git ls-files -z '**.[ch]' | xargs -0 -r -n1 ./.github/scripts/c-strip | |