From 76874a115a9fd4ba8389cfb849050ab5d8ae1e1a Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Thu, 11 Feb 2021 21:37:21 -0500
Subject: [PATCH] Test for coq-community/docker-coq-action#48

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 1a7c239..186c49f 100644
--- 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