···12121313# Version of Pulumi from
1414# https://www.pulumi.com/docs/get-started/install/versions/
1515-VERSION="3.38.0"
1515+VERSION="3.40.1"
16161717# An array of plugin names. The respective repository inside Pulumi's
1818# Github organization is called pulumi-$name by convention.