Back to pull request #1062

Merge main into protected branch `24.10-devel` #292

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
notebook	1m 20s
ruff	8s
combine	1m 52s
mypy	59s
	4m 19s