Build docker images in CI #4264

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

Provide feedback