EasyCrypt compilation & check #4791

Job	Run time
EasyCrypt compilation (opam)	1m 31s
EasyCrypt compilation (nix)	50s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (stdlib)	4m 54s
Check EasyCrypt Libraries (examples)	4m 49s
Check EasyCrypt Libraries (unit)	2m 34s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	1m 58s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 20s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	13m 2s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 11s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	8m 8s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	13m 49s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	56m 11s

Provide feedback