mirror of https://github.com/astral-sh/ruff
[red-knot] mypy_primer: Fail job on panic or internal errors (#17389)
## Summary Let the mypy_primer job fail if Red Knot panics or exits with code 2 (indicating an internal error). Corresponding mypy_primer commit:90808f4656In addition, we may also want to make a successful mypy_primer run required for merging? ## Test Plan Made sure that mypy_primer exits with code 70 locally on panics, which should result in a pipeline failure, since we only allow code 0 and 1 in the pipeline here:a4d7c6669b/.github/workflows/mypy_primer.yaml (L73)
This commit is contained in:
parent
850360a0b4
commit
701aecb2a6
|
|
@ -45,7 +45,7 @@ jobs:
|
|||
|
||||
- name: Install mypy_primer
|
||||
run: |
|
||||
uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v4"
|
||||
uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v5"
|
||||
|
||||
- name: Run mypy_primer
|
||||
shell: bash
|
||||
|
|
|
|||
Loading…
Reference in New Issue