run tests in CI

LPCIC · Jun 18, 2021 · e53442b · e53442b
1 parent 41dbf4d
commit e53442b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -33,4 +33,7 @@ jobs:
             opam pin add coq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git --ignore-constraints-on=coq-elpi -y -j 4
             opam list
             opam remove coq-hierarchy-builder -y
-          endGroup
+          endGroup
+        export: 'OPAMWITHTEST'
+      env:
+        OPAMWITHTEST: 'true'