unroll for: constant-propagate the counter #3423

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

Provide feedback