Skip to main content

Browse the archive

Revision ce0255967c09114889b1ca1ddda6730d80664e3d authored by Philippe Bidinger on 04 September 2019, 14:29:59 UTC, committed by Pierre Boutillier on 11 December 2019, 11:24:55 UTC 
Tests: remove redundant bash tests from CI
1 parent dd005a5
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