start improving the stability of smt in DynMatrix #4060

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

Provide feedback