Test for coq-community/docker-coq-action#48

liyishuai · Feb 12, 2021 · 76874a1 · 76874a1
1 parent 9e96cac
commit 76874a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -15,6 +15,7 @@ jobs:
       OPAMJOBS: 2
       OPAMVERBOSE: 1
       OPAMYES: true
+      OPAMWITHTEST: true
       TERM: xterm
     steps:
     - checkout