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