Tactic `split` with break position #3531

Job	Run time
EasyCrypt compilation (nix)	1m 19s
EasyCrypt compilation (opam)	1m 16s
Fetch EasyCrypt External Projects Matrix	4s
Check EasyCrypt Libraries (unit)	1m 13s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 39s
Check EasyCrypt Libraries (stdlib)	4m 44s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 17s
Check EasyCrypt Libraries (examples)	2m 3s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 15s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 24s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	3m 28s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	2m 58s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	3m 48s
Check EasyCrypt External Projects (set-status)	1s
Notification	0s
	30m 29s

Provide feedback