KEM libraries (non-ROM and ROM) #3536

Job	Run time
EasyCrypt compilation (opam)	1m 10s
EasyCrypt compilation (nix)	1m 36s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (unit)	1m 14s
Check EasyCrypt Libraries (stdlib)	5m 5s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 49s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	11m 54s
Check EasyCrypt Libraries (examples)	3m 4s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 18s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 44s
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 48s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 1s
Check EasyCrypt External Projects (set-status)	4s
Notification	3s
	1h 5m 33s

Provide feedback