Skip to main content

Browse the archive

Revision 6c29c19fdf34fbe5e659c60cbe3a00d6bc822696 authored by Benjamin Canou on 01 August 2019, 12:49:09 UTC, committed by Pierre Boutillier on 21 October 2019, 12:44:00 UTC 
Proto: update the tags of manager operations
1 parent 9cc43ae
Raw File
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_lint)))

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