Rotate credentials for Circle CI

[vsoch]

Heyo! Just wanted to check that you rotated the circle credentials - I can see docker credentials (not the credentials just that they are there) and over xmas break Circle announced we should do this because apparently they had an incident.

See:

• https://github.com/CircleCI-Public/CircleCI-Env-Inspector
• https://circleci.com/blog/january-4-2023-security-alert/

Major suck. I'm not going to use Circle after this.

[adelavega]

I think we'll probably drop Circle CI also. Thanks!

[adelavega]

see: #767