Hello Guix! Wouldn’t it be nice to get ‘core-updates-frozen’ merged? :-)
What about merging the patches blocked by <https://issues.guix.gnu.org/50358>? We could even have them on a separate branch, have Cuirass build it, and merge it 24–36h later, at which point substitute coverage should be reasonably good. I haven’t followed the new ports, POWER9 and RISC-V. If there’s anything needed in this area, like localized toolchain changes, please send a heads-up! As I say every time someone proposes a new port, the main issue is not the port itself but maintaining it longer-term. And here it’s not even clear to me what the status of POWER9 is on ‘core-updates-frozen’, so it’d be great to get feedback on this, ensure Cuirass builds it, and so on. Thanks, Ludo’.
