Support dunetest for release

tmattio · Nov 15, 2022 · 1c45a69 · 1c45a69
1 parent 70454c8
commit 1c45a69
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -51,7 +51,7 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Run tests
-        run: opam exec -- dune test
+        run: GITHUB_TESTS=true opam exec -- dune test
 
       - name: Format code
         run: opam exec -- dune build --auto-promote @fmt

diff --git a/dune b/dune
@@ -0,0 +1,5 @@
+(cram
+ (applies_to example)
+ (enabled_if
+  (= true %{env:GITHUB_TESTS=false}))
+ (deps %{bin:omigrate}))
diff --git a/example.t/dune b/example.t/dune