diff options
| author | Emilio Jesus Gallego Arias | 2018-05-27 04:52:02 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-06-02 14:57:51 +0200 |
| commit | 345c63f5a98eb15ff0336ff853596f5b04ffbe4a (patch) | |
| tree | bd4ce3d9308039232d5d366f6211d39b01ad5f38 /dev/ci/gitlab.bat | |
| parent | 3a36761a27487e8917e1b59b59abacc2a7e65b95 (diff) | |
[appveyor] Use OCaml version 4.06.1 in the Windows build.
We bump Windows builds to 4.06.1, IMHO it makes sense to use the
latest OCaml version to build on that platform due to the support
status and number of fixes.
Diffstat (limited to 'dev/ci/gitlab.bat')
0 files changed, 0 insertions, 0 deletions