From 2639c6807fdc8f20866e859f3c0f20985bc75984 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Thu, 7 Dec 2023 12:00:37 +0100
Subject: [PATCH] CI: sha3

---
 .github/workflows/ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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