Feature exception #3984

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

Provide feedback