CI

Merge pull request #1112 from JuliaAI/dev #784

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	9m 15s
Julia 1 - ubuntu-latest - x64 - push	3m 37s
integration	0s
	12m 52s