Skip to main content

Browse the archive

Revision adb0389e84c5cbd9f844324f0f386e4403cc1d00 authored by Raphaël Cauderlier on 05 February 2024, 16:03:18 UTC, committed by Marge Bot on 05 February 2024, 16:57:17 UTC 
DAL/Node: Fix duplication of producer profiles in profile_manager
1 parent f873590
Raw File
dune-workspace 
(lang dune 3.7)

(env
 (dev
  (flags (:standard -w @1..72-4-40..42-44-45-48-58-60-67-69-70))
  (js_of_ocaml (runtest_alias runtest_js)))
 (release
  (js_of_ocaml (runtest_alias runtest_js))
  (ocamlopt_flags (:standard -O3)))
 (static
  (js_of_ocaml (runtest_alias runtest_js))
  (ocamlopt_flags (:standard -O3)))
 (_ (js_of_ocaml (runtest_alias runtest_js))))

(context (default (paths (ORIGINAL_PATH :standard))))

; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
back to top