EasyCrypt compilation & check #2771

Job	Run time
Check for Duplicates Jobs	5s
EasyCrypt compilation (opam)	1m 35s
EasyCrypt compilation (nix)	36s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (unit)	1m 37s
Check EasyCrypt Libraries (stdlib)	5m 27s
Check EasyCrypt Libraries (examples)	3m 45s
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 20s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	1h 59m 9s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 55s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 43s
Check EasyCrypt External Projects (set-status)	4s
Notification	0s
	2h 22m 36s

Provide feedback