This issue is an announcement board for known issues with DefinitelyTyped infrastructure, including CI, @typescript-bot automation, and npm publishing. To keep the noise down for those who want to subscribe to this issue, I’m locking the comments, but if you have questions or would like to report potential problems, please do so in the DefinitelyTyped Gitter.

✅ Current status: Ok ✅

There are no known repository-wide infrastructure issues. If you’d like to report one, please do so in the DefinitelyTyped Gitter.