Skip to main content

Browse the archive

Revision 91b7adf7c021a964b00117c68403443e6284b41d authored by Marge Bot on 23 January 2023, 15:39:38 UTC, committed by Marge Bot on 23 January 2023, 15:39:38 UTC 
Merge tezos/tezos!7471: P2P/Pool: Track some issues
 
Co-authored-by: François Thiré <francois.thire@nomadic-labs.com>

Approved-by: Mohamed IGUERNLALA <iguer@functori.com>
Approved-by: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7471
2 parent s 1a9a182 + 8651fda
Raw File
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/main.ml instead.
back to top