Linters

doc: add some entries to `glossary.md` #80017

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-cpp	1m 36s
lint-addon-docs	52s
lint-js-and-md	3m 50s
lint-sh	32s
lint-py	55s
lint-yaml	47s
lint-codeowners	33s
lint-readme	24s
lint-nix	23s
lint-pr-url	0s
format-cpp	0s
	9m 52s