Hi,
Efraim Flashner <efr...@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’.
