Revision 824cbbc1ea4a155901e58d948608cc1d98d25ff6 authored by Marge Bot on 20 November 2023, 10:01:33 UTC, committed by Marge Bot on 20 November 2023, 10:01:33 UTC
Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com>

Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com>
Approved-by: Pierre-Louis Dubois <pierrelouis.dubois@tutanota.com>
Approved-by: Antonio Locascio <antonio.locascio1@gmail.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/10836
2 parent s 0b0bb4f + db7bf83
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