From 0f1a82a96f44ba800240a20aa2eb327e2d774410 Mon Sep 17 00:00:00 2001
From: Oliver Chang <oliverchang@users.noreply.github.com>
Date: Thu, 24 Oct 2024 06:30:09 +1100
Subject: [PATCH] Add ability to manually request introspector builds. (#12641)

---
 infra/build/request_build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/infra/build/request_build.sh b/infra/build/request_build.sh
index 36a9cb475..2828b416f 100755
--- a/infra/build/request_build.sh
+++ b/infra/build/request_build.sh
@@ -19,6 +19,8 @@ if [ "$2" = "fuzzing" ]; then
   topic=request-build
 elif [ "$2" = "coverage" ]; then
   topic=request-coverage-build
+elif [ "$2" = "introspector" ]; then
+  topic=request-introspector-build
 else
   echo "Invalid build type $2."
   exit 1