diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 71a962d..c48784e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,7 +27,10 @@ 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