diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
index 7443cef9..8871fc87 100644
--- a/.github/workflows/ci_build.yaml
+++ b/.github/workflows/ci_build.yaml
@@ -71,10 +71,9 @@ jobs:
             endGroup
           script: |
             startGroup "Build binary"
+              make pretty-timed
               if [[ "${{ env.DOC_DEPLOY }}" == 'true' ]]; then
                 make coqdoc
-              else
-                make
               fi
             endGroup
           after_script: |
diff --git a/Makefile b/Makefile
index a690d785..604ea71a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,14 @@
-.PHONY: all clean
+.PHONY: all pretty-timed coqdoc clean
 
 all:
 	@$(MAKE) -C theories
 	@dune build
 
-coqdoc: all
+pretty-timed:
+	@$(MAKE) pretty-timed -C theories
+	@dune build
+
+coqdoc:
 	@${MAKE} coqdoc -C theories
 
 clean: