chore: Pin opentelemetry version to 0.10 (semgrep/semgrep-proprietary…

…#3025) synced from Pro cb980ae2b5937b4aac00b551f9def1b18c01fe02
semgrep · Feb 5, 2025 · 7b31117 · 7b31117
1 parent f277bb9
commit 7b31117
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -514,7 +514,7 @@ For more information see https://semgrep.dev
     trace
     memtrace
     ppx_trace
-    (opentelemetry (>= 0.9))
+    (opentelemetry (= 0.10))
     ; needed by opentelemetry-client-ocurl but the latest, 0.9.2
     ; does not work under windows (see https://github.com/ygrek/ocurl/issues/77)
     ; hence the pin to 0.9.1

diff --git a/semgrep.opam b/semgrep.opam
@@ -60,7 +60,7 @@ depends: [
   "trace"
   "memtrace"
   "ppx_trace"
-  "opentelemetry" {>= "0.9"}
+  "opentelemetry" {= "0.10"}
   "ocurl" {= "0.9.1"}
   "opentelemetry-client-ocurl"
   "ambient-context-lwt"