Fix filename referenced
Some checks failed
Generate CRDs / generate-crds (push) Has been cancelled

This commit is contained in:
2025-11-24 00:17:13 -06:00
parent 194a567223
commit f948d00137

View File

@@ -35,13 +35,14 @@ jobs:
- name: Download crd2pulumi binary
run: |
CRD2PULUMI_VERSION=v0.5.6
curl -L "https://github.com/pulumi/crd2pulumi/releases/download/${CRD2PULUMI_VERSION}/crd2pulumi-${CRD2PULUMI_VERSION}-linux-amd64" -o crd2pulumi
CRD2PULUMI_VERSION=0.5.6
curl -L "https://github.com/pulumi/crd2pulumi/releases/download/v${CRD2PULUMI_VERSION}/crd2pulumi-v${CRD2PULUMI_VERSION}-linux-amd64" -o crd2pulumi
chmod +x crd2pulumi
sudo mv crd2pulumi /usr/local/bin/crd2pulumi
crd2pulumi --version
- name: Run CRD generation script
run: node scripts/generate-crds.js