use a dev branch for XSalsa in external CI

EasyCrypt · Jan 20, 2025 · 39ed501 · 39ed501
1 parent d03e63d
commit 39ed501
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/external.json b/.github/workflows/external.json
@@ -34,7 +34,7 @@
 
   { "name"       : "xsalsa20"
   , "repository" : "https://gitlab.com/fdupress/ec-xsalsa"
-  , "branch"     : "master"
+  , "branch"     : "ec-main"
   , "subdir"     : "."
   , "config"     : "config/tests.config"
   , "scenario"   : "xsalsa"