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"
+  }
 ]