diff options
| author | Théo Zimmermann | 2020-04-13 14:24:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-13 14:25:34 +0200 |
| commit | 646a12b2f4660d6e9d5a812febdccab44221d1f0 (patch) | |
| tree | ceba4106f623f8e62474c7ea985f5214c4f580eb /kernel | |
| parent | 1a309cd7d8547d9a2b5ee89adfe8ba1c581237e1 (diff) | |
Temporarily disable Windows job on Azure.
This job is currently broken because of Dune 2.5 not being available
yet on the mingw-opam-repository.
Before this, it was already red most of the time because of two
issues:
- Cygwin cannot be downloaded
- "Error on dynamically loaded library:
.\kernel/byterun\dllbyterun_stubs.dll: The specified module could not
be found" bug."
We don't know exactly when the latter appeared. It was missed because
of the former.
The goal is to reenable Windows testing based on standard opam with no
cygwin. Hopefully, this is achievable in the next few weeks.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions
