PP: various fixes #3495

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

Provide feedback