recover argument-less split behavior #3524

Job	Run time
Check for Duplicates Jobs	7s
EasyCrypt compilation (opam)	1m 14s
EasyCrypt compilation (nix)	1m 19s
Fetch EasyCrypt External Projects Matrix	2s
Check EasyCrypt Libraries (unit)	1m 19s
Check EasyCrypt Libraries (stdlib)	4m 53s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 49s
Check EasyCrypt Libraries (examples)	3m 10s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	1m 37s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 16s
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 24s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 27s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	2m 1s
Check EasyCrypt External Projects (set-status)	1s
Notification	0s
	22m 58s

Provide feedback