imandra-ai / ocaml-opentelemetry

Instrumentation for https://opentelemetry.io
http://docs.imandra.ai/ocaml-opentelemetry/
33 stars 7 forks source link

Ocaml protoc as lint #18

Closed c-cube closed 2 years ago

c-cube commented 2 years ago

removes dep on ocaml-protoc, we only depend on the runtime part.

TODO: we need to check, in CI, that lint would do nothing (just like with dune fmt). Not sure how to do that.