imandra-ai / ocaml-opentelemetry

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

fix(gha): try --solver=mccs #58

Closed mattjbray closed 3 months ago