Inlined documentation #4017

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

Provide feedback