From 1a31eaadc9acccd919b122592d63a3fcc8f4231b Mon Sep 17 00:00:00 2001
From: Neves-P <p.m.santos.neves@rug.nl>
Date: Mon, 4 Mar 2024 16:45:03 +0100
Subject: [PATCH] Typo

---
 bot/check-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bot/check-build.sh b/bot/check-build.sh
index 387e702dd9..e0427ec089 100755
--- a/bot/check-build.sh
+++ b/bot/check-build.sh
@@ -358,7 +358,7 @@ success_msg="no message matching <code>${GP_req_missing}</code>"
 failure_msg="found message matching <code>${GP_req_missing}</code>"
 CoDeList=${CoDeList}$(add_detail ${MISSING} 0 "${success_msg}" "${failure_msg}")
 
-success_msg="found message(s) saying number of built applications (<code>$n_built</code>) matches the numebr of  build requests <code>($n_to_build)</code>"
+success_msg="found message(s) saying number of built applications (<code>$n_built</code>) matches the number of  build requests (<code>$n_to_build</code>)"
 failure_msg="number of built applications (<code>$n_built</code>) doesn't match the number of build requests (<code>$n_to_build</code>)"
 CoDeList=${CoDeList}$(add_detail ${NO_MISSING} 1 "${success_msg}" "${failure_msg}")