[External CI] Add XMSS and SPHINCS+ (#601)

Co-authored-by: François Dupressoir <[email protected]>
EasyCrypt · Aug 21, 2024 · 791bfa7 · 791bfa7
1 parent 3a56e18
commit 791bfa7
Showing 1 changed file with 33 additions and 0 deletions.
diff --git a/.github/workflows/external.json b/.github/workflows/external.json
@@ -40,4 +40,37 @@
   , "scenario"   : "xsalsa"
   , "options"    : ""
   }
+
+  ,
+
+  { "name"       : "xmss-acai"
+  , "repository" : "https://github.com/MM45/FV-XMSS-EC"
+  , "branch"     : "master"
+  , "subdir"     : "."
+  , "config"     : "config/tests.config"
+  , "scenario"   : "xmss-acai"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "xmss-fsai"
+  , "repository" : "https://github.com/MM45/FV-XMSS-EC"
+  , "branch"     : "master"
+  , "subdir"     : "."
+  , "config"     : "config/tests.config"
+  , "scenario"   : "xmss-fsai"
+  , "options"    : ""
+  }
+
+  ,
+
+  { "name"       : "sphincsplus"
+  , "repository" : "https://github.com/MM45/FV-SPHINCSPLUS-EC"
+  , "branch"     : "master"
+  , "subdir"     : "."
+  , "config"     : "config/tests.config"
+  , "scenario"   : "sphincsplus"
+  , "options"    : ""
+  }
 ]