Build

ui.theme.switching.tools: add a word to update tool font sizes #751

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-macos	32m 5s
build-windows	36m 18s
build-linux	29m 23s
	1h 37m 46s