No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

If you look at the state file, do you see referenced to `5.25.0` in there? You can export your state via `pulumi stack export --file stack.json` and then search that file.

I'm not sure I have straightforward instructions for a provider downgrade personally. <@UCWG26BH7> might?

you may need to modify the state file to reference the old provider version, we don’t support downgrading providers via the version string