[prev in list] [next in list] [prev in thread] [next in thread]
List: kde-release-team
Subject: Re: KDE Gear 22.12.3 packages available for packagers
From: Justin <justin.zobel () gmail ! com>
Date: 2023-02-28 23:51:46
Message-ID: 893965ec-fa11-db12-18e4-5cfa7e7e697b () gmail ! com
[Download RAW message or body]
On 1/3/23 01:34, Heiko Becker wrote:
> On Tuesday, 28 February 2023 14:23:42 CET, Antonio Rojas wrote:
>> partitionmanager doesn't build:
>>
>> index.docbook:38: element xref: validity error : IDREF attribute
>> linkend references an unknown ID "menu-settings-help"
>> kf.doctools.core: Error: `xmllint --noout` outputted text
>> make[2]: ***
>> [CMakeFiles/po-pt-BR-docs-partitionmanager-index-cache-bz2.dir/build.make:84:
>> po/pt_BR/docs/partitionmanager/index.cache.bz2] Error 1
>> make[1]: *** [CMakeFiles/Makefile2:911:
>> CMakeFiles/po-pt-BR-docs-partitionmanager-index-cache-bz2.dir/all]
>> Error 2
>> make[1]: *** Waiting for unfinished jobs....
>
> A bit unfortunate that CI couldn't really catch this. Anyway, seems
> the offending docbook has already been removed:
> https://websvn.kde.org/?view=revision&revision=1645616
>
> I'll respin the tarball when the changes are synced to git, which will
> happen tonight, I guess.
Is it due to limited CI resources that translation commits aren't pushed
through CI? I did do a CI run of Partition Manager to ensure it wasn't
just on my device that it was failing but it might have been after CI
was checked for 22.12.3 release.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic