diff --git a/.github/workflows/type_check.yml b/.github/workflows/type_check.yml
index 18581c92e410433462f0ead4246af72244e9b906..0f56ee53fcf61819619db99f18585056b264ea1a 100644
--- a/.github/workflows/type_check.yml
+++ b/.github/workflows/type_check.yml
@@ -54,4 +54,5 @@ jobs:
     - name: other tests
       run: |
         eval $(opam env)
+        bmake -C personoj install
         bmake tests