Yes, but what HuggingFace is doing here is the distribution of a data set. And so long the data set itself is open that doesn't conflict with GPL. HuggingFace is not responsible about how others use that data set.

Whether LLMs themselves violate copyright for being trained on MIT or GPL code is an entirely different discussion.