New lazy/eager logic. #3831

Job	Run time
EasyCrypt compilation (nix)	1m 16s
Fetch EasyCrypt External Projects Matrix	9s
EasyCrypt compilation (opam)	2m 45s
Check EasyCrypt Libraries (unit)	2m 49s
Check EasyCrypt Libraries (examples)	4m 27s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 24s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 23s
Check EasyCrypt Libraries (stdlib)	6m 46s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 17s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	19m 23s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 13s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 46s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 46s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	1h 18m 26s

Navigation Menu