https://gitlab.com/tezos/tezos
Raw File
Tip revision: ea6985a68e8690ce45b476f2854c3afc8b756df2 authored by Ilias Garnier on 29 March 2023, 15:13:43 UTC
Diverging shrinking on some runs
Tip revision: ea6985a
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_workers)
 (public_name tezos-workers)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-stdlib-unix)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base
  -open Tezos_stdlib_unix))

(documentation (package tezos-workers))
back to top