Akim Demaille feeacc2d57 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-09-08 09:00:49 +02:00

13 KiB

Raw Blame History

View Raw