CI

Add section about inner tool attributes #4229

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
style-tests	1m 39s
code-tests	58s
dev-guide build check	4s
preview	55s
mdbook-spec	27s
Success gate	2s
	4m 5s