From 89c4f163439f337e7ef953d0489aa5ae07d724b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Fri, 19 Apr 2024 13:26:31 +0100 Subject: [PATCH] [external ci] add xsalsa security --- .github/workflows/external.json | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/workflows/external.json b/.github/workflows/external.json index 1823622aa..25af39530 100644 --- 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" + } ]