Pull Request

Update GitHub pull request workflow #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format	1m 40s
lint	1m 47s
docs	5s
test (1.56.0)	11s
test (stable)	17s
test (nightly)	13s
	4m 13s