Bdep #3455

Job	Run time
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	2m 42s
EasyCrypt compilation (nix)	50s
Check EasyCrypt Libraries (unit)	2m 42s
Check EasyCrypt Libraries (stdlib)	6m 20s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 33s
Check EasyCrypt Libraries (examples)	4m 45s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	13m 53s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 53s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	3m 8s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	9m 25s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 38s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	22m 30s
Check EasyCrypt External Projects (set-status)	3s
Notification	0s
	1h 22m 25s

Provide feedback