Service commit (docker / nix / dune) #3598

Job	Run time
EasyCrypt compilation (nix)	53m 1s
EasyCrypt compilation (opam)	1m 14s
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...	2m 0s
Check EasyCrypt Libraries (stdlib)	5m 10s
Check EasyCrypt Libraries (examples)	3m 3s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 7s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 14s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 42s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 42s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 44s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 10s
Check EasyCrypt External Projects (set-status)	4s
Notification	4s
	1h 57m 36s

Provide feedback