Back to pull request #1170

Respect "short" option in Symbol.get_name() #4318

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.12)	5m 5s
build (3.11)	4m 33s
build (3.8)	5m 45s
build (3.9)	5m 7s
build (3.10)	4m 56s
	25m 26s