Hi,
Basically you're doing it fine as described here: https://www.diagrams.net/doc/faq/export-higher-resolution
You might wanna try experimenting with File > Export as > Advanced > PNG