Skip to main content

Browse the archive

Revision 611d2ca60442506df38d00a5e5030a7b066f1201 authored by MBourgoin on 27 March 2019, 14:16:35 UTC, committed by Benjamin Canou on 07 May 2019, 12:49:11 UTC 
Shell/Worker: add `information` function and encoding (for future RPCs)
 
Co-authored-by: MBourgoin <mathias.bourgoin@tezcore.com>
Co-authored-by: Raphaël Proust <code@bnwr.net>
Co-authored-by: Pietro Abate <pietro.abate@tezcore.com>
1 parent 84bbf11
Raw File
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_indent)))

(alias
 (name runtest)
 (deps (alias_rec runtest_sandbox)))
back to top