Revision 7a7c3f980c4bd2fab89d223a1227affab52d09d0 authored by Victor Allombert on 17 February 2020, 10:27:48 UTC, committed by Victor Allombert on 18 February 2020, 17:02:17 UTC
1 parent df7bd9c
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