I can’t find any clear docs on how the taint should be implemented

The docs also suggest

NodeGroupTaintArgs

is in the same package, but this doesn’t appear to be the case. It appears to be in

<http://github.com/pulumi/pulumi-aws/sdk/v4/go/aws/eks|github.com/pulumi/pulumi-aws/sdk/v4/go/aws/eks>

rather than

<http://github.com/pulumi/pulumi-eks/sdk/go/eks|github.com/pulumi/pulumi-eks/sdk/go/eks>

I’ve figured it out:

...
Taints: eksv4.NodeGroupTaintArray{
    eksv4.NodeGroupTaintArgs{
		Key:   pulumi.String("role"),
		Value: pulumi.String("proxy"),
		Effect: pulumi.String("NoSchedule"),
	},
},
...