Skip to content

Filter out invalid language id#907

Merged
microbit-grace merged 1 commit into
mainfrom
invalid-language-id
Jun 11, 2026
Merged

Filter out invalid language id#907
microbit-grace merged 1 commit into
mainfrom
invalid-language-id

Conversation

@microbit-grace

@microbit-grace microbit-grace commented Jun 11, 2026

Copy link
Copy Markdown

There have been errors due to invalid language id being used.

See notes for details (private)

@github-actions

github-actions Bot commented Jun 11, 2026

Copy link
Copy Markdown

@microbit-grace microbit-grace changed the title Don't allow invalid language id Filter out invalid language id Jun 11, 2026

@microbit-matt-hillsdon microbit-matt-hillsdon left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Interesting notes, don't see what else we can do here.

@microbit-grace microbit-grace merged commit 65930d3 into main Jun 11, 2026
4 checks passed
@microbit-grace microbit-grace deleted the invalid-language-id branch June 11, 2026 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants