PP: various fixes #3501

Job	Run time
EasyCrypt compilation (nix)	1m 49s
EasyCrypt compilation (opam)	1m 13s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (unit)	1m 17s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 56s
Check EasyCrypt Libraries (stdlib)	5m 3s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 15s
Check EasyCrypt Libraries (examples)	3m 9s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 29s
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...	8m 16s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 56s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 3s
Check EasyCrypt External Projects (set-status)	3s
Notification	3s
	1h 7m 20s

Provide feedback