CI: mute output from Python script (#13603)

CI: mute output from Python-script
pull/28/head
Sebastiaan Speck 2024-09-07 19:25:27 +02:00 committed by GitHub
parent 1cd9bea971
commit cca2ec4765
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -114,7 +114,7 @@ function check_outdated_page() {
function check_more_info_link() {
local page=$1
python3 scripts/set-more-info-link.py -Sn | grep "$page"
python3 scripts/set-more-info-link.py -Sn | grep "$page" > /dev/null
if [ $? -eq 0 ]; then
printf "\x2d $MSG_MORE_INFO" "$page"