Compare commits

...

2 Commits

Author SHA1 Message Date
Micha Reiser
134d32ae05 Try 2026-01-10 14:08:47 +01:00
Micha Reiser
f43119551c Delete bad and good.txt 2026-01-10 14:05:29 +01:00
7 changed files with 1 additions and 169 deletions

View File

@@ -60,7 +60,6 @@ jobs:
- name: Run mypy_primer
env:
PRIMER_SELECTOR: crates/ty_python_semantic/resources/primer/good.txt
CLICOLOR_FORCE: "1"
DIFF_FILE: mypy_primer.diff
run: |
@@ -142,7 +141,6 @@ jobs:
- name: Run determinism check
env:
BASE_REVISION: ${{ github.event.pull_request.head.sha }}
PRIMER_SELECTOR: crates/ty_python_semantic/resources/primer/good.txt
CLICOLOR_FORCE: "1"
DIFF_FILE: mypy_primer_determinism.diff
run: |

View File

@@ -62,13 +62,11 @@ jobs:
echo "new commit"
git checkout -b new_commit "$GITHUB_SHA"
git rev-list --format=%s --max-count=1 new_commit
cp crates/ty_python_semantic/resources/primer/good.txt projects_new.txt
echo "old commit (merge base)"
MERGE_BASE="$(git merge-base "$GITHUB_SHA" "origin/$GITHUB_BASE_REF")"
git checkout -b old_commit "$MERGE_BASE"
git rev-list --format=%s --max-count=1 old_commit
cp crates/ty_python_semantic/resources/primer/good.txt projects_old.txt
cd ..
@@ -78,8 +76,6 @@ jobs:
--repository ruff \
diff \
--profile=profiling \
--projects-old ruff/projects_old.txt \
--projects-new ruff/projects_new.txt \
--old old_commit \
--new new_commit \
--output-old diagnostics-old.json \

View File

@@ -62,7 +62,6 @@ jobs:
--repository ruff \
analyze \
--profile=profiling \
--projects ruff/crates/ty_python_semantic/resources/primer/good.txt \
--output ecosystem-diagnostics.json
mkdir dist

View File

@@ -30,8 +30,7 @@ mypy_primer \
--project-selector '/black$'
```
This will show the diagnostics diff for the `black` project between the `main` branch and your `my/feature` branch. To run the
diff for all projects we currently enable in CI, use `--project-selector "/($(paste -s -d'|' crates/ty_python_semantic/resources/primer/good.txt))\$"`.
This will show the diagnostics diff for the `black` project between the `main` branch and your `my/feature` branch.
You can also take a look at the [full list of ecosystem projects]. Note that some of them might still need a `ty_paths` configuration
option to work correctly.

View File

@@ -1,2 +0,0 @@
spark # too many iterations (in `exported_names` query), `should not be able to access instance member `spark` of type variable IndexOpsLike@astype in inferable position`
steam.py # too many iterations

View File

@@ -1,154 +0,0 @@
AutoSplit
DateType
Expression
PyGithub
PyWinCtl
Tanjun
aiohttp
aiohttp-devtools
aioredis
aiortc
alectryon
alerta
altair
antidote
anyio
apprise
archinstall
artigraph
arviz
async-utils
asynq
attrs
bandersnatch
beartype
bidict
black
bokeh
boostedblob
build
check-jsonschema
cibuildwheel
cki-lib
cloud-init
colour
com2ann
comtypes
core
cpython
cryptography
cwltool
dacite
dd-trace-py
dedupe
discord.py
django-stubs
django-test-migrations
downforeveryone
dragonchain
dulwich
egglog-python
flake8
flake8-pyi
freqtrade
git-revise
graphql-core
httpx-caching
hydpy
hydra-zen
ibis
ignite
imagehash
isort
itsdangerous
janus
jax
jinja
koda-validate
kopf
kornia
manticore
materialize
meson
mitmproxy
mkdocs
mkosi
mongo-python-driver
more-itertools
mypy
mypy-protobuf
mypy_primer
nionutils
nox
numpy-stl
openlibrary
operator
optuna
paasta
packaging
pandas
pandas-stubs
pandera
paroxython
parso
pegen
pip
poetry
porcupine
ppb-vector
prefect
psycopg
pwndbg
pybind11
pycryptodome
pydantic
pyinstrument
pyjwt
pylint
pylox
pyodide
pyp
pyppeteer
pyproject-metadata
pytest
pytest-robotframework
python-chess
python-htmlgen
python-sop
pywin32
rclip
rich
rotki
schema_salad
schemathesis
scikit-build-core
scikit-learn
scipy
scipy-stubs
scrapy
setuptools
sockeye
spack
speedrun.com_global_scoreboard_webapp
sphinx
starlette
static-frame
stone
strawberry
streamlit
svcs
sympy
tornado
trio
twine
typeshed-stats
urllib3
vision
websockets
werkzeug
xarray
xarray-dataclasses
yarl
zipp
zope.interface
zulip

View File

@@ -5,8 +5,6 @@ echo "Enabling mypy primer specific configuration overloads (see .github/mypy-pr
mkdir -p ~/.config/ty
cp .github/mypy-primer-ty.toml ~/.config/ty/ty.toml
PRIMER_SELECTOR="$(paste -s -d'|' "${PRIMER_SELECTOR}")"
echo "new commit"
git rev-list --format=%s --max-count=1 "${GITHUB_SHA}"
@@ -19,7 +17,6 @@ git rev-list --format=%s --max-count=1 base_commit
cd ..
echo "Project selector: ${PRIMER_SELECTOR}"
# Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
uvx \
--from="git+https://github.com/hauntsaninja/mypy_primer@ea7c45364a129b9a556b08a6285f8df0e5aedf0a" \
@@ -29,7 +26,6 @@ uvx \
--cargo-profile profiling \
--old base_commit \
--new "${GITHUB_SHA}" \
--project-selector "/($PRIMER_SELECTOR)\$" \
--output concise \
--debug > "${DIFF_FILE}" || [ $? -eq 1 ]