CI

Apply suggestions from code review #1419

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	8m 11s
Julia 1 - ubuntu-latest - x64 - push	21m 28s
Julia 1 - windows-latest - x64 - push	24m 22s
	54m 1s