Back to pull request #667

[release/v1.0] tools/ci: fix pushed Windows "latest" name (#665) #410

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
regenerate-docs	5s
lint-test	19s
regenerate-tests	13s
	37s