// This file is named 'go.mod.bad' to prevent it from being picked up by // the Go toolchain and tools searching for 'go.mod' files. module repro-plugin-install go 1.20 require ( github.com/grapl-security/pulumi-hcp/sdk v0.1.14 github.com/pulumi/pulumi/sdk/v3 v3.74.0 )