Skip to content

dist/tools/ci: classify boards/Kconfig as Kconfig - #23012

Merged
AnnsAnns merged 2 commits into
RIOT-OS:masterfrom
AnnsAnns:boards_kconfig_spdx
Oct 28, 2026
Merged

AnnsAnns merged 2 commits into
RIOT-OS:masterfrom
AnnsAnns:boards_kconfig_spdx

Conversation

@AnnsAnns

Copy link
Copy Markdown
Member

Contribution description

In #22991 we found a weird error, I threw deepseek at it because the error didn't really make sense, what it found does make sense but wasn't what I would have expected.

Changing boards/Kconfig was misclassified as a board named boards, so Murdock passed BOARDS=boards to info-boards-supported, causing the misleading get_supported_boards failed errors.

Testing procedure

CI should hopefully pass now

Issues/PRs references

Declaration of AI-Tools / LLMs usage:

AI-Tools / LLMs that were used are:

  • DeepSeek v4.1 Flash 1017 found the issue and recommended the fix

Assisted-by: DeepSeek v4.1 Flash 1017
Assisted-by: DeepSeek v4.1 Flash 1017
@AnnsAnns AnnsAnns added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR AI: Co-Authored PR/Issue relies on AI. Documentation / Code was partly generated by AI. labels Oct 28, 2026
@github-actions github-actions Bot added Area: tools Area: Supplementary tools Area: boards Area: Board ports Area: Kconfig Area: Kconfig integration labels Oct 28, 2026
@AnnsAnns AnnsAnns changed the title Boards kconfig spdx dist/tools/ci: classify boards/Kconfig as Kconfig Oct 28, 2026
@AnnsAnns

Copy link
Copy Markdown
Member Author

Good morning Leandro 😄

@AnnsAnns
AnnsAnns enabled auto-merge October 28, 2026 08:13
@AnnsAnns

Copy link
Copy Markdown
Member Author

Looks like the CI didn't add a boards board so everything is fixed

@riot-ci

riot-ci commented Oct 28, 2026

Copy link
Copy Markdown

Murdock results

✔️ PASSED

10d0865 boards/Kconfig: move license to SPDX format

Success Failures Total Runtime
14013 0 14013 12m:25s

Artifacts

@AnnsAnns
AnnsAnns added this pull request to the merge queue Oct 28, 2026
@crasbe crasbe added the Type: enhancement The issue suggests enhanceable parts / The PR enhances parts of the codebase / documentation label Oct 28, 2026
Merged via the queue into RIOT-OS:master with commit afe7969 Oct 28, 2026
33 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI: Co-Authored PR/Issue relies on AI. Documentation / Code was partly generated by AI. Area: boards Area: Board ports Area: Kconfig Area: Kconfig integration Area: tools Area: Supplementary tools CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR 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.

4 participants