Hello there, I created a CRD using pulumi2crd, everything seems fine, but when I try to deploy the resource, it seems that it takes another version of the Kubernetes plugin. I don’t understand why since, in the

LocalWorkspace

I install the plugins

const ws = await LocalWorkspace.create({});
      await ws.installPluginFromServer(
        'sentry',
        'v0.0.8',
        '<github://api.github.com/pulumiverse>',
      );
      await ws.installPlugin('kubernetes', 'v3.24.1');
      await ws.installPlugin('gcp', 'v6.51.0');

it seems that the CRD generated takes another version of the plugin. The error I have is

pulumi:providers:kubernetes (default_0_2_95):
    error: Could not automatically download and install resource plugin 'pulumi-resource-kubernetes' at version v0.2.95, install the plugin using `pulumi plugin install resource kubernetes v0.2.95`.
    Underlying error: error downloading plugin kubernetes to file: failed to download plugin: kubernetes-0.2.95: 403 HTTP error fetching plugin from <https://get.pulumi.com/releases/plugins/pulumi-resource-kubernetes-v0.2.95-linux-amd64.tar.gz>

I tried to see in the stack JSON file if anywhere that plugin was used, but nope, every resource was using the right default_3_21_1. I couldn’t find any sample or reference about a possible issue. TBH I’m lost, don’t know where to look at it. I thought probably the CRD is expecting an explicit K8s provider (since the program is using the implicit provider) but is just another guess. I hope someone can help me. Thank you community, for the fabulous job you are doing.