Rényi-∞ divergence machinery for oracle-bounded reductions #5285

Job	Run time
EasyCrypt compilation (nix)	2m 0s
Fetch EasyCrypt External Projects Matrix	6s
Build Docker images	6m 50s
EasyCrypt compilation (opam)	2m 3s
Check EasyCrypt Libraries (examples)	4m 44s
Check EasyCrypt Libraries (stdlib)	5m 54s
Check EasyCrypt External Projects (sphincsplus, https://github.com/formosa-crypto/formosa-slhdsa,...	23m 14s
Check EasyCrypt Libraries (unit)	3m 20s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 31s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	8m 30s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	2m 54s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 34s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	5m 27s
Check EasyCrypt External Projects (set-status)	4s
Notification	0s
Publish Docker images	0s
	1h 21m 11s

Provide feedback