recover UC example #4072

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

Provide feedback