[external ci] add xsalsa security

EasyCrypt · Apr 22, 2024 · 89c4f16 · 89c4f16
1 parent 66c2deb
commit 89c4f16
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/external.json b/.github/workflows/external.json
@@ -40,4 +40,15 @@
   , "scenario"   : "cryptobox"
   , "options"    : "-pragmas Proofs:weak"
   }
+
+  ,
+
+  { "name"       : "xsalsa20"
+  , "repository" : "https://gitlab.com/fdupress/ec-xsalsa"
+  , "branch"     : "master"
+  , "subdir"     : "."
+  , "config"     : "config/tests.config"
+  , "scenario"   : "xsalsa"
+  , "options"    : "-pragmas Proofs:weak"
+  }
 ]