everest icon indicating copy to clipboard operation
everest copied to clipboard

Published 20 hours ago • verified publisher icon project-everest

Switch to OCaml 4.14

Open tahina-pro opened this issue 2 years ago • 1 comments

With FStarLang/FStar#2770 now merged, Everest now works well with OCaml 4.14. So, with this PR:

  • Everest CI to use OCaml 4.14
  • ./everest check to download OCaml 4.14 on Windows

tahina-pro avatar Nov 28 '22 19:11 tahina-pro

FYI @pnmadelaine

msprotz avatar Nov 28 '22 20:11 msprotz