From 95ca2ed95c6743e6ef8fd7ca776a91c12906709b Mon Sep 17 00:00:00 2001 From: Julian Schmidhuber Date: Tue, 22 Apr 2025 14:43:51 +0200 Subject: [PATCH] chores(release-script): Fix Flathub PR integration The comments the Flathub bot makes were recently changed. --- build-aux/create-release.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-aux/create-release.sh b/build-aux/create-release.sh index 5cb9a9f..595f311 100644 --- a/build-aux/create-release.sh +++ b/build-aux/create-release.sh @@ -160,8 +160,8 @@ done echo "> Detected open Flatpak PR to monitor: $pr_number. Depending on the current Flathub buildbot usage, the build can take a long time to complete. You will be notified once the build succeeds." comments=$(curl "https://api.github.com/repos/flathub/$app_id/issues/$pr_number/comments" 2> /dev/null) -while ! echo "$comments" | grep "Build.*successful" &> /dev/null; do - if echo "$comments" | grep "Build.*failed" &> /dev/null; then +while ! echo "$comments" | grep "build.*succeeded" &> /dev/null; do + if echo "$comments" | grep "build.*failed" &> /dev/null; then notify-send "Flathub build failed" "Please resolve manually." echo "! Flathub build failed. Please resolve manually." exit 1