Add TIMED=1

coq-community · Jun 24, 2022 · 12236a9 · 12236a9
1 parent 19ae4cd
commit 12236a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -86,7 +86,7 @@ jobs:
         echo "::group::apt-show-versions $COQ_PACKAGE"
         apt-show-versions $COQ_PACKAGE
         echo "::endgroup::"
-    - run: make -j2
+    - run: make -j2 TiMED=1
     - run: make perf
     - run: make validate -j2
     - run: sudo make install install-perf