From c9343707e113a62acb5fa151f7a78e9c35eb5201 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Thu, 2 May 2024 18:24:12 +0200
Subject: [PATCH] ci: test_lib is already included in tests

---
 .github/workflows/main.yml | 4 ----
 1 file changed, 4 deletions(-)

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