PP: various fixes #3493

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

Provide feedback