I’m using the

dev

dependency of

@pulumi/aws

, so the type definition is:

readonly tags?: pulumi.Input<{
        key: pulumi.Input<string>;
        propagateAtLaunch: pulumi.Input<boolean>;
        value: pulumi.Input<string>;
    }[]>;