Better printing of hint DBs #3609

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

Provide feedback