Service commit (docker / nix / dune) #3597

Job	Run time
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	50m 32s
EasyCrypt compilation (opam)	1m 12s
Check EasyCrypt Libraries (unit)	1m 15s
Check EasyCrypt Libraries (stdlib)	5m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 49s
Check EasyCrypt Libraries (examples)	3m 2s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 16s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 18s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 47s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	9m 14s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 7s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 14s
Check EasyCrypt External Projects (set-status)	3s
Notification	4s
	1h 57m 11s

Provide feedback