New lazy/eager logic. #4100

Job	Run time
EasyCrypt compilation (opam)	2m 50s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	1m 15s
Check EasyCrypt Libraries (stdlib)	6m 38s
Check EasyCrypt Libraries (unit)	3m 3s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 15s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 30s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 52s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 27s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 10s
Check EasyCrypt Libraries (examples)	5m 17s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 19s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 36s
Check EasyCrypt External Projects (set-status)	5s
Notification	0s
	1h 20m 21s

Provide feedback