Ocaml 4.14

[clarus]

No description provided.

[codecov-commenter]

Codecov Report

Attention: 74 lines in your changes are missing coverage. Please review.

Comparison is base (4988eb3) 68.71% compared to head (8812f06) 68.52%.

Files	Patch %	Lines
src/pathName.ml	47.36%	20 Missing ⚠️
src/attribute.ml	12.50%	14 Missing ⚠️
src/ast.ml	0.00%	13 Missing ⚠️
src/monadEval.ml	0.00%	9 Missing ⚠️
src/type.ml	50.00%	8 Missing ⚠️
src/typeDefinition.ml	85.71%	3 Missing ⚠️
src/constant.ml	80.00%	2 Missing ⚠️
src/exp.ml	83.33%	2 Missing ⚠️
src/structure.ml	91.66%	2 Missing ⚠️
src/monad.ml	0.00%	1 Missing ⚠️

Additional details and impacted files

@@              Coverage Diff               @@
##           ocaml-4.13     #217      +/-   ##
==============================================
- Coverage       68.71%   68.52%   -0.19%     
==============================================
  Files              32       32              
  Lines            4737     4788      +51     
==============================================
+ Hits             3255     3281      +26     
- Misses           1482     1507      +25     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Alizter]

@clarus Hi, will you be able to make progress with this? I would like to try testing coq-of-ocaml in Dune.

[clarus]

@Alizter Hi, sorry I forgot about that, I am working on it this week.

[clarus]

@Alizter I made a pull-request on the opam repository to add a release of coq-of-ocaml compatible with OCaml 4.14: ocaml/opam-repository#22839

[clarus]

@Alizter the version of coq-of-ocaml compatible with OCaml 4.14 is now published: ocaml/opam-repository#22839