[external ci] add xsalsa security #2769

Job	Run time
Check for Duplicates Jobs	5s
EasyCrypt compilation (nix)	1m 9s
EasyCrypt compilation (opam)	1m 36s
Check EasyCrypt Libraries (unit)	1m 37s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (stdlib)	5m 19s
Check EasyCrypt Libraries (examples)	3m 40s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 16s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 17s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	2h 1m 36s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 2s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 56s
Check EasyCrypt External Projects (set-status)	3s
Notification	4s
	2h 25m 43s

Provide feedback