Re: [bug#71876] [PATCH] gnu: ci: Cross-build for fewer platforms.

[Efraim Flashner <efraim@flashner.co.il>]

[-- Attachment #1: Type: text/plain, Size: 1099 bytes --]

On Fri, Jul 05, 2024 at 11:00:52AM +0200, Ludovic Courtès wrote:
> Hi,
> 
> Efraim Flashner <efraim@flashner.co.il> skribis:
> 
> > * gnu/ci.scm (%dead-platform-triplets): New variable.
> > (cross-jobs): Also don't build for systems listed in
> > %dead-platform-triplets.
> >
> > Change-Id: Ic31ae6d307f2d243c098ec050bdb9d09060466ac
> 
> [...]
> 
> > +(define %dead-platform-triplets
> > +  ;; These systems are kept around for nostalgia or for tinkering, but regular
> > +  ;; CI is disabled for them to reduce the load on CI infrastructure.
> > +  '("mips64el-linux-gnu"
> > +    "powerpc-linux-gnu"
> > +    "powerpc64-linux-gnu"))
> 
> I’d change “dead” to “unsupported” but apart from that I think it’s a
> good idea.  (And it’s good to cater to the needs of the nostalgic among
> us too :-))

Sounds good to me.

Changes made and pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]