Profile depth for summer tyres

Hello together, have a question about the profile depth that a summer tyre should have. I currently have about 3mm profile depth on my tyres. I’m still driving about 5,000 KM this summer. What would you do? Continue driving, or buy new tyres??? Thank you for Eu ́re answers! Best regards bigload