New lazy/eager logic. #4149

Job	Run time
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (opam)	2m 54s
EasyCrypt compilation (nix)	1m 19s
Check EasyCrypt Libraries (stdlib)	6m 32s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 35s
Check EasyCrypt Libraries (examples)	5m 28s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 14s
Check EasyCrypt Libraries (unit)	4m 4s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 43s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 34s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 24s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 54s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 39s
Check EasyCrypt External Projects (set-status)	4s
Notification	0s
	1h 23m 28s

Provide feedback