Skip to content

Commit 083e064

Browse files
committed
[red-knot] pull primer projects to run from file
1 parent 454ad15 commit 083e064

File tree

2 files changed

+27
-1
lines changed

2 files changed

+27
-1
lines changed

.github/workflows/mypy_primer.yaml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,8 @@ jobs:
5252
run: |
5353
cd ruff
5454
55+
PRIMER_SELECTOR="$(paste -s -d'|' crates/red_knot_python_semantic/resources/primer/good.txt)"
56+
5557
echo "new commit"
5658
git rev-list --format=%s --max-count=1 "$GITHUB_SHA"
5759
@@ -62,13 +64,14 @@ jobs:
6264
6365
cd ..
6466
67+
echo $PRIMER_SELECTOR
6568
# Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
6669
uvx mypy_primer \
6770
--repo ruff \
6871
--type-checker knot \
6972
--old base_commit \
7073
--new "$GITHUB_SHA" \
71-
--project-selector '/(mypy_primer|black|pyp|git-revise|zipp|arrow|isort|itsdangerous|rich|packaging|pybind11|pyinstrument|typeshed-stats|scrapy|werkzeug|bidict|async-utils|python-chess|dacite|python-htmlgen|paroxython|porcupine|psycopg)$' \
74+
--project-selector "/($PRIMER_SELECTOR)\$" \
7275
--output concise \
7376
--debug > mypy_primer.diff || [ $? -eq 1 ]
7477
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
mypy_primer
2+
black
3+
pyp
4+
git-revise
5+
zipp
6+
arrow
7+
isort
8+
itsdangerous
9+
rich
10+
packaging
11+
pybind11
12+
pyinstrument
13+
typeshed-stats
14+
scrapy
15+
werkzeug
16+
bidict
17+
async-utils
18+
python-chess
19+
dacite
20+
python-htmlgen
21+
paroxython
22+
porcupine
23+
psycopg

0 commit comments

Comments
 (0)