Back to pull request #19404

applied further suggestions from Johan #147883

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	8m 56s
Cancel Previous Runs (CI)	2s
Lint style	1m 7s
Post-CI job	10s
	10m 15s