PP: various fixes #3578

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

Provide feedback