Back to pull request #253

CI: mention the old version when updating #296

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
main (macos-12)	3m 47s
main (ubuntu-22.04)	2m 15s
main (windows-2022)	3m 17s
	9m 19s