CI

Update `export_name` to use the attribute template #4215

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
code-tests	57s
style-tests	1m 40s
mdbook-spec	27s
preview	54s
dev-guide build check	5s
Success gate	4s
	4m 7s