Marian Buschsieweke e960a19f24 build system: simplify docker image pinning ... It turns out that the ID mechanics of docker are even more crazy than realized before: On Linux (x86_64) they use a different SHA256 when referring to a locally installed image than when referring to the same image at dockerhub. On Mac OS (Apple Silicon), the use the repo SHA256 also when referring to the local image. Instead of increasing the complexity of the current solution even more by covering both cases, we now use `docker.io/riot/riotbuild@sha256:<SHA256_OF_DOCKERHUB_IMAGE>` to refer to a specific docker image, which hopefully works across systems. Instead of pulling the image explicitly, we now can rely on docker to do so automatically if the pinned image is not found locally. As a result, the knob to disable automatic pulling has been dropped. Fixes https://github.com/RIOT-OS/RIOT/issues/20853		2024-10-09 21:05:57 +02:00
..
check.sh	build system: simplify docker image pinning	2024-10-09 21:05:57 +02:00
get_dockerhub_digests.py	build system: simplify docker image pinning	2024-10-09 21:05:57 +02:00
save_all_dependencies_resolution_variables.sh	buildsystem_sanity_check: use python3	2020-07-08 14:57:54 +02:00