Skip to main content

Browse the archive

Revision 7e3072dd3d85b52ca1a3e40b30495e445e1599b9 authored by Sebastien Mondet on 03 October 2019, 18:48:26 UTC, committed by Pierre Boutillier on 09 October 2019, 11:32:30 UTC 
CI: Keep the docs built with GitLab CI for a day
1 parent 34a441a
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