diff options
Diffstat (limited to 'pkgs/tools/admin/pulumi/update.sh')
| -rwxr-xr-x | pkgs/tools/admin/pulumi/update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/admin/pulumi/update.sh b/pkgs/tools/admin/pulumi/update.sh index 5b6b56cc772..dcd4fd1256d 100755 --- a/pkgs/tools/admin/pulumi/update.sh +++ b/pkgs/tools/admin/pulumi/update.sh @@ -6,7 +6,7 @@ API_URL="https://api.github.com/repos/pulumi" # Version of Pulumi from # https://www.pulumi.com/docs/get-started/install/versions/ -VERSION="3.17.0" +VERSION="3.17.1" # A hashmap containing a plugin's name and it's respective repository inside # Pulumi's Github organization |