Back to pull request #616

Fix failing build due to deprecated action #1017

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	2m 21s
test_exhaustive_checks	22s
lint	32s
	3m 15s