Revision d2de40cc1943f1646ecb7acbf46e9db3eab8c0f9 authored by Adrian Brink on 12 August 2019, 08:58:00 UTC, committed by Adrian Brink on 13 August 2019, 08:13:22 UTC
1 parent 1674913
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