Content - 811fbed6f7c29a16104d3952e77a839f21ab427b - 4799e4c/dune-workspace

swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e

Tip revision: c14d0e579f39548d3f2a411fbe30af8b06488c2d authored by Raphaël Proust on 23 May 2023, 05:16:51 UTC
Merge branch 'data-encoding-V2--full-combinators-coverage' into 'data-encoding-V2'

Tip revision: c14d0e5

dune-workspace

(lang dune 3.0)

(context
  (default
    (name default)
    (env
      (_
         (env-vars ("OCAML_LANDMARKS" "off")))
    )
  )
)
; (context
;   (default
;     (name profiling)
;     (instrument_with landmarks)
;     (env
;       (_
;          (env-vars ("OCAML_LANDMARKS" "on"))
;          (flags (:standard -noassert)))
;     )
;   )
; )
; (context
;   (default
;     (name profiling-auto)
;     (instrument_with landmarks)
;     (env
;       (_
;          (env-vars ("OCAML_LANDMARKS" "auto"))
;          (flags (:standard -noassert)))
;     )
;   )
; )