diff --git a/coq-qcert.opam b/coq-qcert.opam
index b04e60b9..f8b511a9 100644
--- a/coq-qcert.opam
+++ b/coq-qcert.opam
@@ -19,7 +19,7 @@ build: [
   [make "-j" jobs name]
   ["dune" "build" "-j" jobs "-p" name]
   [make "docs"] {with-doc}
-
+  [make "test"] {with-test}
 ]
 install: [
   [make "install-coqdev"]