Peter Maydell writes:
> On Mon, 22 Mar 2021 at 15:09, Alex Bennée wrote:
>>
>> In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
>> Debian") we made sure we can build the documents on more than one
>> system. However we don't want to build documents all the time as it's
>> a w
On Mon, Mar 22, 2021 at 11:41 AM Alex Bennée wrote:
>
> In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
> Debian") we made sure we can build the documents on more than one
> system. However we don't want to build documents all the time as it's
> a waste of cycles (and energy). S
On Mon, 22 Mar 2021 at 15:09, Alex Bennée wrote:
>
> In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
> Debian") we made sure we can build the documents on more than one
> system. However we don't want to build documents all the time as it's
> a waste of cycles (and energy). So l
On 22/03/2021 17.24, Alex Bennée wrote:
Thomas Huth writes:
On 22/03/2021 15.41, Alex Bennée wrote:
In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
Debian") we made sure we can build the documents on more than one
system. However we don't want to build documents all the ti
Thomas Huth writes:
> On 22/03/2021 15.41, Alex Bennée wrote:
>> In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
>> Debian") we made sure we can build the documents on more than one
>> system. However we don't want to build documents all the time as it's
>> a waste of cycles
On 22/03/2021 15.41, Alex Bennée wrote:
In d0f26e68a0 ("gitlab: force enable docs build in Fedora, Ubuntu,
Debian") we made sure we can build the documents on more than one
system. However we don't want to build documents all the time as it's
a waste of cycles (and energy). So lets reduce the tot
