PP: various fixes #3530

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

Provide feedback