Matthias Grob 715a1ff701 Jenkins, docker_run.sh: use Debian 11 armhf container
also for the other linux target builds. It's a follow up to
e5503480e3a025728f760d0dcd05dd2a450b33a9
I wasn't aware that there are multiple different
container versions used for almost the same build.
2023-07-11 17:49:36 +02:00
..
2021-10-19 13:29:26 -04:00
2021-10-19 13:29:26 -04:00
2022-09-15 13:13:49 -04:00