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

[Ludovic Courtès]

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 :-))

Ludo’.