[Solved itself] Domain's DNS record could not be retrieved and TLS certificate provisioning is failing

The domain (aresiel.dev)'s dns records cannot be retrieved. When I visit https://aresiel.dev it looks like it’s pointing properly to the github pages site. The TLS certificate is also failing to provision. The tld “.dev” is one of the ones that only support https btw. I am using digitalocean for the dns configuring.

The DNS check suddenly cleared, waiting for TLS now.