(subset) [PATCH 3/3] ci: container: downgrade OpenRISC toolchain from 14.2.0 to 13.1.0

[Sascha Hauer]

On Wed, 14 Aug 2024 18:14:35 +0200, Ahmad Fatoum wrote:
> The newest toolchain bump breaks OpenRISC start-up under QEMU: The console is
> now completely silent. Steps to reproduce the hang:
> 
>   CONTAINER_GCC13=bdfdd5effcc169ebf8a9df2f1a5956ef34549682f78b450a97aceea2afd76f7a
>   CONTAINER_GCC14=fa35adeae1ab49b4dc09fc3bf4d68f92541a0d1f41e0df91a4879fd331e4b592
>   CONTAINER_BASE=ghcr.io/barebox/barebox/barebox-ci at sha256:fa35adeae1a
> 
> [...]

Applied, thanks!

[3/3] ci: container: downgrade OpenRISC toolchain from 14.2.0 to 13.1.0
      https://git.pengutronix.de/cgit/barebox/commit/?id=6d4c6b01f4c4 (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>