Refman skeleton. #4213

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

Provide feedback