CI

Merge pull request #138 from fingolfin/patch-1 #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	1m 22s
Julia 1.6 - push	1m 32s
Julia 1 - push	3m 5s
Julia nightly - push	3m 30s
	9m 29s