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