Permutations as a group + uniform distr #4263

Job	Run time
EasyCrypt compilation (nix)	1m 43s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (opam)	2m 54s
Check EasyCrypt Libraries (unit)	3m 58s
Check EasyCrypt Libraries (stdlib)	6m 46s
Check EasyCrypt Libraries (examples)	5m 25s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 35s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 1s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 19s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 46s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 23s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 18s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 1s
Check EasyCrypt External Projects (set-status)	3s
Notification	5s
	1h 22m 21s

Provide feedback