Skip to content

makefiles: bump riotdocker version#21817

Merged
crasbe merged 1 commit intoRIOT-OS:masterfrom
crasbe:pr/update_riotdocker
Oct 23, 2025
Merged

makefiles: bump riotdocker version#21817
crasbe merged 1 commit intoRIOT-OS:masterfrom
crasbe:pr/update_riotdocker

Conversation

@crasbe
Copy link
Contributor

@crasbe crasbe commented Oct 23, 2025

Contribution description

Now that RIOT-OS/riotdocker#262 is merged, we have to bump the version to keep the Buildsystem Sanity Check happy.

Testing procedure

Static test shouldn't fail.

Issues/PRs references

Became necessary after RIOT-OS/riotdocker#262.

@crasbe crasbe added Type: enhancement The issue suggests enhanceable parts / The PR enhances parts of the codebase / documentation Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Oct 23, 2025
@github-actions github-actions bot added the Area: build system Area: Build system label Oct 23, 2025
Copy link
Contributor

@mguetschow mguetschow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Trusting CI that it double-checks the digest :)

@mguetschow mguetschow enabled auto-merge October 23, 2025 09:22
@riot-ci
Copy link

riot-ci commented Oct 23, 2025

Murdock results

✔️ PASSED

2d1bd7c makefiles: bump riotdocker version

Success Failures Total Runtime
1 0 1 01m:27s

Artifacts

@mguetschow mguetschow added this pull request to the merge queue Oct 23, 2025
@crasbe crasbe removed this pull request from the merge queue due to a manual request Oct 23, 2025
@crasbe crasbe added this pull request to the merge queue Oct 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 23, 2025
@crasbe crasbe added this pull request to the merge queue Oct 23, 2025
@maribu maribu added the Process: needs backport Integration Process: The PR is required to be backported to a release or feature branch label Oct 23, 2025
Merged via the queue into RIOT-OS:master with commit f3a5da8 Oct 23, 2025
31 checks passed
@crasbe crasbe deleted the pr/update_riotdocker branch October 30, 2025 16:03
@benpicco benpicco added this to the Release 2025.10 milestone Dec 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: build system Area: Build system CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer Process: needs backport Integration Process: The PR is required to be backported to a release or feature branch Type: enhancement The issue suggests enhanceable parts / The PR enhances parts of the codebase / documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants