Back to pull request #470

Fix non ascii characters being used in element IDs #921

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9)	43s
build (3.10)	1m 35s
build (3.11)	1m 39s
build (3.12)	2m 2s
build (3.13)	1m 0s
	6m 59s