Run dune tests in CI

jasmin-lang · May 23, 2023 · 8e1a7fc · 8e1a7fc
1 parent 4f8c6e7
commit 8e1a7fc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -176,13 +176,14 @@ build-from-tarball:
 check:
   stage: test
   variables:
-    EXTRA_NIX_ARGUMENTS: --arg testDeps true
+    EXTRA_NIX_ARGUMENTS: --arg testDeps true --arg ocamlDeps true
   extends: .common
   needs:
   - coq-program
   - ocaml
   script:
   - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run './compiler/jasminc -version'
+  - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run 'cd compiler && dune runtest'
   - nix-shell --arg inCI true $EXTRA_NIX_ARGUMENTS --run 'make -j$NIX_BUILD_CORES -C compiler check-ci $EXTRA_MAKE_ARGUMENTS'
 
 libjade-compile-to-asm: