diff options
| author | Maxime Dénès | 2018-10-29 13:25:30 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-10-29 13:25:30 +0100 |
| commit | d838a67707812cb496f0f0f83f1ebe5a65280c86 (patch) | |
| tree | bf80fb0fead44b6d8c057068028b8d848fc9152d | |
| parent | c5934f3addfdd55a987cc60fa1313afba1121301 (diff) | |
| parent | 0a4aaf590100ad9004ed15c5cc1d93a84dee6f50 (diff) | |
Merge PR #8711: [ci] [appveyor] Enable cache for builds.
| -rw-r--r-- | appveyor.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/appveyor.yml b/appveyor.yml index cd3b88d007..c9c6bc0684 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -1,6 +1,10 @@ version: '{branch}~{build}' clone_depth: 10 +cache: + - C:\cygwin64 -> dev\ci\appveyor.bat + - C:\cygwin64\home\appveyor\.opam -> dev\ci\appveyor.sh + platform: - x64 |