ci: test_lib is already included in tests

Deducteam · May 2, 2024 · c934370 · c934370
1 parent 054467f
commit c934370
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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