Back to pull request #5562

[CI] Fix script name in build-dev workflow #11074

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
BUILD and CHECK LINKS	4m 2s
WARNINGS in build log?	4s
REFCACHE updates?	5s
	4m 11s