New vernacular command: eval #2931

Job	Run time
Check for Duplicates Jobs	6s
EasyCrypt compilation (nix)	1m 6s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	1m 1s
Check EasyCrypt Libraries (unit)	1m 7s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 46s
Check EasyCrypt Libraries (stdlib)	4m 41s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	3m 38s
Check EasyCrypt Libraries (examples)	3m 13s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 30s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 21s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	19m 38s

Provide feedback