Makefile_v1,CMakeLists.txt: use git submodule option --depth only if … #558

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doc_deb	1m 44s
test_all	3m 22s
build_doc_this	19s
cmake	30s
	5m 55s