https://gitlab.com/tezos/tezos
Revision e067f64fa843bfd7b83291e70a3444e8e1b8dac0 authored by Ole Krüger on 06 September 2022, 12:29:57 UTC, committed by Ole Krüger on 06 September 2022, 12:34:09 UTC
1 parent 5a7380e
Raw File
Tip revision: e067f64fa843bfd7b83291e70a3444e8e1b8dac0 authored by Ole Krüger on 06 September 2022, 12:29:57 UTC
WIP: Check tick counter
Tip revision: e067f64
dune-workspace
(lang dune 3.0)

(env
 (dev
  (flags (:standard -w @1..72-4-40..42-44-45-48-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/manifest.ml instead.
back to top