dataset-level split names from dataset info
Second part of https://github.com/huggingface/datasets-server/issues/734
Splits will be based on:
dataset-split-names-from-streaming (https://github.com/huggingface/datasets-server/pull/936))
dataset-split-names-from-dataset-info (This PR)
dataset-level split names from dataset info: Second part of https://github.com/huggingface/datasets-server/issues/734
Splits will be based on:
dataset-split-names-from-streaming (https://github.com/huggingface/datasets-server/pull/936))
dataset-split-names-from-dataset-info (This PR)