1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 06:23:53 +01:00
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
..
2024-05-09 12:56:01 +02:00
2024-02-05 22:02:21 +01:00
2022-08-02 11:03:03 +02:00
2023-12-14 09:17:19 +01:00
2020-04-17 17:11:15 +02:00
2022-09-27 13:42:37 +02:00
2021-11-23 20:02:47 +01:00
2023-11-09 20:22:52 +01:00
2022-08-02 11:03:03 +02:00