DistrMatrix #3285

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

Provide feedback