Linters

tools: Update install_tools.bat old echo from 2019 to 2022 #80388

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-cpp	2s
lint-addon-docs	1s
lint-py	1s
lint-js-and-md	1s
format-cpp	1s
lint-nix	2s
lint-sh	1s
lint-readme	2s
lint-pr-url	1s
lint-yaml	1s
lint-codeowners	1s
format-cpp	1m 33s
lint-yaml	48s
lint-codeowners	37s
lint-pr-url	30s
lint-readme	25s
lint-addon-docs	52s
lint-cpp	1m 20s
lint-nix	25s
lint-py	48s
lint-js-and-md	3m 59s
lint-sh	29s
	12m 0s