Refman skeleton. #4197

Job	Run time
EasyCrypt compilation (opam)	3m 3s
EasyCrypt compilation (nix)	2m 22s
Fetch EasyCrypt External Projects Matrix	5s
Check EasyCrypt Libraries (unit)	3m 55s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	16m 38s
Check EasyCrypt Libraries (examples)	5m 31s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 39s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 17s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 39s
Check EasyCrypt Libraries (stdlib)	6m 40s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 35s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	25m 11s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	9m 23s
Check EasyCrypt External Projects (set-status)	2s
Notification	5s
	1h 33m 5s

Provide feedback