Skip to main content

Browse the archive

Revision 99538960de358aee9770c22eed807a7ba0d2cbfb authored by Danny Willems on 26 November 2020, 12:52:54 UTC, committed by Danny Willems on 26 November 2020, 12:52:54 UTC 
CI: add make in integration_python_definition for local gitlab-runner
1 parent f2d93c1
Raw File
dune 
(env
 (release
  (ocamlopt_flags (:standard -O3))))

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

(vendored_dirs vendors)
back to top