More results on `List.zip` #4004

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

Provide feedback