diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-05-31 05:20:20 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-05-31 05:20:26 -0400 |
| commit | 87a9d03c0c1ea2340a6463b600a02b6bb145abbe (patch) | |
| tree | 7ca12d6800f0c42455f5e9b8c29d4dd7f2699d46 /doc/release-notes-pr12892.md | |
| parent | 24f70118414fb06dc7fbcebf43438b5e7ef248e9 (diff) | |
| parent | fa2d83eb44fdb02177d6c01fd0621d364c5a1dfc (diff) | |
Merge #13347: travis: Skip cache for lint stage
fa2d83eb44 travis: Skip cache for lint stage (MarcoFalke)
Pull request description:
* Disable cache for lint stage according to https://docs.travis-ci.com/user/caching/#Explicitly-disabling-caching
* Skip fetching of keys for non-cron branch pushes.
Tree-SHA512: 300a0353a5ac0d2431eaff0a98e0e7f52429694737c136d13ff03334ea223a79436473a60db03a0ce4e4009d2a87d11612c7ac8d3a2e38d2bbdd3d800ff10000
Diffstat (limited to 'doc/release-notes-pr12892.md')
0 files changed, 0 insertions, 0 deletions