Add option to specify the conjuction to split #3473

Job	Run time
Check for Duplicates Jobs	6s
EasyCrypt compilation (nix)	1m 44s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	1m 15s
Check EasyCrypt Libraries (unit)	1m 13s
Check EasyCrypt Libraries (stdlib)	4m 6s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 37s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	1m 32s
Check EasyCrypt Libraries (examples)	2m 0s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 19s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 19s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 23s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 22s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	1m 36s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	20m 37s

Provide feedback