CI

Do not promote `extern` statics #4556

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dev-guide build check	7s
code-tests	56s
preview	53s
mdbook-spec	25s
style-tests	1m 48s
Success gate	2s
code-tests	58s
preview	53s
mdbook-spec	25s
dev-guide build check	7s
style-tests	1m 48s
Success gate	3s
	8m 25s