From 2a6145a3fe16ba16d13da50d56c2a74d151936e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 10 Feb 2026 17:33:31 +0000
Subject: [PATCH] [external-ci] use formosa-xmss security proof

---
 .github/workflows/external.json | 21 +++++----------------
 1 file changed, 5 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/external.json b/.github/workflows/external.json
index 2fd3f6c97..6a35c0463 100644
--- a/.github/workflows/external.json
+++ b/.github/workflows/external.json
@@ -43,23 +43,12 @@
 
   ,
 
-  { "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"     : "."
+  { "name"       : "xmss-security"
+  , "repository" : "https://github.com/formosa-crypto/formosa-xmss"
+  , "branch"     : "main"
+  , "subdir"     : "proof"
   , "config"     : "config/tests.config"
-  , "scenario"   : "xmss-fsai"
+  , "scenario"   : "security"
   , "options"    : ""
   }