Revision 812e95b3cb1249500f93aa961b9e1dccb8d513e1 authored by Eugen Zalinescu on 28 October 2019, 13:48:39 UTC, committed by Marco Stronati on 31 October 2019, 08:21:32 UTC
1 parent 8fd6ca3
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)))
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...