Deploy tc #3548

Job	Run time
EasyCrypt compilation (nix)	1m 19s
EasyCrypt compilation (opam)	1m 11s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (unit)	1m 17s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 49s
Check EasyCrypt Libraries (stdlib)	5m 16s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 20s
Check EasyCrypt Libraries (examples)	3m 7s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 23s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 40s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 40s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 55s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	16m 35s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	1h 1m 38s

Provide feedback