Akim Demaille cd0f25df5f CI: avoid useless git costs ...

Travis answered favorably to my suggestion to provide a means to
disable git clone on some jobs (issue 7542).  See
https://docs.travis-ci.com/user/customizing-the-build/#disabling-git-clone.

* .travis.yml: Disable git globally, enable it for i. the compile job,
and ii. the test job on ICC which needs the install-icc.sh script.

2019-06-15 10:28:50 +02:00

13 KiB

Raw Blame History

View Raw