Positivity check in type constructors #4218

Job	Run time
Fetch EasyCrypt External Projects Matrix	5s
EasyCrypt compilation (opam)	2m 49s
EasyCrypt compilation (nix)	1m 27s
Check EasyCrypt Libraries (stdlib)	6m 36s
Check EasyCrypt Libraries (unit)	4m 2s
Check EasyCrypt Libraries (examples)	5m 29s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 59s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 51s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 21s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 37s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 0s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 39s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	19m 7s
Check EasyCrypt External Projects (set-status)	3s
Notification	0s
	1h 21m 5s

Provide feedback