EasyCrypt compilation & check #2766

Job	Run time
Check for Duplicates Jobs	6s
EasyCrypt compilation (opam)	1m 39s
EasyCrypt compilation (nix)	34s
Fetch EasyCrypt External Projects Matrix	2s
Check EasyCrypt Libraries (unit)	1m 40s
Check EasyCrypt Libraries (stdlib)	5m 1s
Check EasyCrypt Libraries (examples)	3m 50s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 8s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 7s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	1h 57m 38s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 2s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	2h 18m 49s

Provide feedback