aboutsummaryrefslogtreecommitdiff
path: root/kernel/section.ml
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/section.ml
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/section.ml')
0 files changed, 0 insertions, 0 deletions