Linters

tools: add some options and comments to `shell.nix` #80868

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-js-and-md	3m 56s
lint-readme	27s
lint-pr-url	23s
lint-cpp	1m 17s
format-cpp	1m 38s
lint-sh	31s
lint-py	47s
lint-addon-docs	43s
lint-nix	24s
lint-yaml	46s
lint-codeowners	28s
	11m 20s