Inlined documentation #4091

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

Provide feedback