Add ability to manually request introspector builds. (#12641)

This commit is contained in:
Oliver Chang 2024-10-24 06:30:09 +11:00 committed by GitHub
parent 0e0a3af74a
commit 0f1a82a96f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -19,6 +19,8 @@ if [ "$2" = "fuzzing" ]; then
topic=request-build topic=request-build
elif [ "$2" = "coverage" ]; then elif [ "$2" = "coverage" ]; then
topic=request-coverage-build topic=request-coverage-build
elif [ "$2" = "introspector" ]; then
topic=request-introspector-build
else else
echo "Invalid build type $2." echo "Invalid build type $2."
exit 1 exit 1