ruff/.github
David Peter 701aecb2a6
[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:
90808f4656

In 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)
2025-04-14 11:50:17 +00:00
..
ISSUE_TEMPLATE Add issue templates (#16213) 2025-02-25 16:29:16 +05:30
workflows [red-knot] mypy_primer: Fail job on panic or internal errors (#17389) 2025-04-14 11:50:17 +00:00
CODEOWNERS [ci] Remove MichaReiser as `red_knot_python_semantic` code owner (#16817) 2025-03-17 17:56:33 +01:00
PULL_REQUEST_TEMPLATE.md Add a PR template (#4582) 2023-05-24 02:17:38 +00:00
actionlint.yaml Use new-style Windows runner tag (#15661) 2025-01-21 17:44:17 -06:00
renovate.json5 Instruct Renovate to pin GitHub Actions based on SHA (#16789) 2025-03-17 07:44:59 +00:00
zizmor.yml Upgrade zizmor to the latest version in CI (#15649) 2025-01-22 17:00:10 +00:00