Another example for eHoare #4518

Job	Run time
Fetch EasyCrypt External Projects Matrix	5s
EasyCrypt compilation (opam)	1m 37s
EasyCrypt compilation (nix)	1m 46s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	14m 58s
Check EasyCrypt Libraries (stdlib)	5m 1s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	1m 58s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 58s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	7m 56s
Check EasyCrypt Libraries (examples)	4m 3s
Check EasyCrypt Libraries (unit)	2m 41s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 59s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 17s
Check EasyCrypt External Projects (set-status)	6s
Notification	7s
	57m 32s

Provide feedback