CI: sha3

formosa-crypto · Dec 7, 2023 · 2639c68 · 2639c68
1 parent f039596
commit 2639c68
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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