Service commit (docker / nix / dune) #3596

Job	Run time
EasyCrypt compilation (nix)	54m 8s
Fetch EasyCrypt External Projects Matrix	2s
EasyCrypt compilation (opam)	1m 25s
Check EasyCrypt Libraries (unit)	1m 18s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 59s
Check EasyCrypt Libraries (stdlib)	4m 58s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 13s
Check EasyCrypt Libraries (examples)	3m 8s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 27s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 39s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 47s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 43s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 25s
Check EasyCrypt External Projects (set-status)	4s
Notification	3s
	1h 59m 19s

Provide feedback