chore: correctly set bound for OTEL to >= 0.8

imandra-ai · Mar 13, 2024 · c0419ed · c0419ed
1 parent e693272
commit c0419ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/batrpc-otel.opam b/batrpc-otel.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/imandra-ai/batrpc/issues"
 depends: [
   "dune" {>= "3.0"}
   "batrpc" {= version}
-  "opentelemetry" {>= "0.7"}
+  "opentelemetry" {>= "0.8"}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -36,5 +36,5 @@
   (synopsis "opentelemetry middleware for BatRPC")
   (depends
     (batrpc (= :version))
-    (opentelemetry (>= 0.7)) ; FIXME: >= 0.8 once released
+    (opentelemetry (>= 0.8))
     ))