Content - 984a505ca1f277208086514b55ee59e74353636f - f2dee37/dune-workspace

swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e

Tip revision: 05e415b83ccd57204e6669e41f64772cc27eda2c authored by Laure Runser on 28 August 2023, 12:17:17 UTC
Merge branch 'laure-effects' into 'data-encoding-V2'

Tip revision: 05e415b

dune-workspace

(lang dune 3.0)

(context default)
(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)))
    )
  )
)