From b8135e63ce7cc8f744901a47c360af09fe1b375e Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 10 Oct 2023 08:27:00 +0000
Subject: [PATCH] pulumi: Update to version 3.88.0

---
 bucket/pulumi.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/pulumi.json b/bucket/pulumi.json
index 2ee6ec5573..aa986568f1 100644
--- a/bucket/pulumi.json
+++ b/bucket/pulumi.json
@@ -1,12 +1,12 @@
 {
-    "version": "3.87.0",
+    "version": "3.88.0",
     "description": "Create, deploy, and manage infrastructure on any cloud using any language.",
     "homepage": "https://www.pulumi.com",
     "license": "Apache-2.0",
     "architecture": {
         "64bit": {
-            "url": "https://get.pulumi.com/releases/sdk/pulumi-v3.87.0-windows-x64.zip",
-            "hash": "c5a00cfc1ec3415591eafa68dbc1bb52b697561e3276a40c40ab83ec76b8d7e1"
+            "url": "https://get.pulumi.com/releases/sdk/pulumi-v3.88.0-windows-x64.zip",
+            "hash": "7ef02f609102bebacb1b020f59ba5b44f474616014f3ff53538452d47ba102a0"
         }
     },
     "extract_dir": "Pulumi\\bin",