Tactic `split` with break position #3534

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

Provide feedback