[ci] add SHA3 to external CI

EasyCrypt · Jun 16, 2023 · e8dad30 · e8dad30
1 parent 8d95ac3
commit e8dad30
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -87,7 +87,8 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        target: [ [ 'jasmin-eclib', 'https://github.com/jasmin-lang/jasmin', 'eclib', 'tests.config', 'jasmin' ] ]
+        target: [ [ 'jasmin-eclib', 'https://github.com/jasmin-lang/jasmin', 'eclib', 'tests.config', 'jasmin' ]
+                , [ 'sha3', 'https://gitlab.com/easycrypt/sha3', '', 'config/tests.config', 'sponge' ] ]
     steps:
     - uses: actions/checkout@v3
       with: