Marian Buschsieweke 17dcb97571 dist/tools/buildsystem_sanity_check: check pinned docker version ... This tests if the latest manifest on dockerhub matches the pinned version. The idea is that PRs are not merged until the pinning is fixed, so that we can ensure that `make BUILD_IN_DOCKER=1` will always succeed with the pinned version.		2024-06-08 02:12:15 +02:00
..
check.sh	dist/tools/buildsystem_sanity_check: check pinned docker version	2024-06-08 02:12:15 +02:00
get_dockerhub_digests.py	dist/tools/buildsystem_sanity_check: check pinned docker version	2024-06-08 02:12:15 +02:00
save_all_dependencies_resolution_variables.sh	buildsystem_sanity_check: use python3	2020-07-08 14:57:54 +02:00