diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 71a962d..afc7aeb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,7 +27,8 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        target: [ [ 'ci-test', 'config/tests.config', 'all' ] ]
+        target: [ [ 'ci-test', 'config/tests.config', 'all' ]
+                , [ 'sha3', 'config/tests.config', 'sha3' ] ]
     steps:
     - uses: actions/checkout@v4
     - name: Compile & Cache EasyCrypt
diff --git a/sha3/config/tests.config b/sha3/config/tests.config
index 351875b..c04ab14 100644
--- a/sha3/config/tests.config
+++ b/sha3/config/tests.config
@@ -3,21 +3,5 @@ bin    = easycrypt
 report = report.log
 
 [test-sha3]
-okdirs = !proof
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl -I proof/impl/perm
-
-[test-sponge]
 okdirs = proof proof/smart_counter
-args   = -I proof -I proof/smart_counter
-
-[test-jsponge]
-okdirs = proof/impl
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter
-
-[test-jperm]
-okdirs = proof/impl/perm
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl
-
-[test-libc]
-okdirs = proof/impl/libc
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl -I proof/impl/perm
+args   = -I proof -I proof/smart_counter -p Z3 -p Alt-Ergo@2.4