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
e5503480e3
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

..

Jenkinsfile-compile

Jenkins, docker_run.sh: use Debian 11 armhf container

2023-07-11 17:49:36 +02:00

Jenkinsfile-hardware

Jenkins: hardware test rack ignore irrelevant sensor timeouts

2023-01-11 16:56:19 -05:00