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

Previous Next

Full log

Message #8 received at 71876 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: guix-devel <at> gnu.org, 71876 <at> debbugs.gnu.org
Subject: Re: [bug#71876] [PATCH] gnu: ci: Cross-build for fewer platforms.
Date: Fri, 05 Jul 2024 11:00:52 +0200

Hi,

Efraim Flashner <efraim <at> 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 :-))

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.