diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d1e10ae8d..f9921083f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -34,10 +34,6 @@ jobs:
           eval $(opam env)
           #why3 config detect
           make tests
-      - name: cheking libraries ...
-        run: |
-          eval $(opam env)
-          make test_libs
   build_vscode_extension:
     strategy:
       fail-fast: false