Better printing of hint DBs #3608

Job	Run time
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (nix)	1m 20s
EasyCrypt compilation (opam)	1m 16s
Check EasyCrypt Libraries (unit)	1m 20s
Check EasyCrypt Libraries (stdlib)	5m 7s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 1s
Check EasyCrypt Libraries (examples)	3m 12s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 20s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 30s
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 46s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 16s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 9s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	1h 7m 16s

Provide feedback