CI

Merge pull request #142 from fingolfin/patch-4 #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	2m 46s
Julia 1.6 - push	1m 52s
Julia 1 - push	1m 52s
Julia nightly - push	2m 17s
	8m 47s