diff options
| author | Emilio Jesus Gallego Arias | 2020-07-01 01:03:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-01 01:03:18 +0200 |
| commit | 2168f9e8b95f4e48d9e6ea61e44523977e56be3e (patch) | |
| tree | b409183cb9ecea5477b3f63204616fd70ef646eb /engine | |
| parent | 9c9330f2e3a5ff205973881003c5734034b7d0d5 (diff) | |
[ci] Disable the OCaml 4.12 target
Recent changes in Coqbot plus the unfortunate breakage OCaml upstream
has make this too noisy.
We will re-enable once https://github.com/ocaml/dune/pull/3585
is accepted upstream.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions