aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorThéo Zimmermann2020-04-13 14:24:17 +0200
committerThéo Zimmermann2020-04-13 14:25:34 +0200
commit646a12b2f4660d6e9d5a812febdccab44221d1f0 (patch)
treeceba4106f623f8e62474c7ea985f5214c4f580eb /kernel
parent1a309cd7d8547d9a2b5ee89adfe8ba1c581237e1 (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