Back to pull request #6594

[Frontend] Kill the server on engine death #11337

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ruff (3.8)	25s
ruff (3.9)	25s
ruff (3.10)	27s
ruff (3.11)	24s
ruff (3.12)	26s
	2m 7s