CI

readded makedocs that was deleted by git idiot robot #60

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CUTEst ubuntu-latest gnu	1m 22s
CUTEst macos-latest gnu	2m 26s
CUTEst ubuntu-latest intel	5m 18s
CUTEst macos-latest intel	16m 23s
	25m 29s