chore: compat with trace 0.6

imandra-ai · Feb 9, 2024 · 12d5c24 · 12d5c24
1 parent 81d2d5c
commit 12d5c24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -43,7 +43,7 @@
   (trace
    (or
     (< 0.4)
-    (>= 0.6))))
+    (>= 0.7))))
  (tags
   (instrumentation tracing opentelemetry datadog jaeger)))