WIP #3485

Job	Run time
Check for Duplicates Jobs	4s
EasyCrypt compilation (nix)	1m 16s
Fetch EasyCrypt External Projects Matrix	5s
EasyCrypt compilation (opam)	1m 9s
Check EasyCrypt Libraries (unit)	1m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 31s
Check EasyCrypt Libraries (stdlib)	3m 49s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	1m 37s
Check EasyCrypt Libraries (examples)	1m 42s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 21s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 19s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 26s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 20s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	1m 19s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	19m 14s

Provide feedback