Skip to content

Conversation

robamu
Copy link
Contributor

@robamu robamu commented Feb 13, 2025

No description provided.

@robamu robamu requested a review from a team as a code owner February 13, 2025 11:02
@robamu
Copy link
Contributor Author

robamu commented Feb 13, 2025

Forgot actually adding it to the CI 🥇

@burrbull
Copy link
Member

Forgot actually adding it to the CI 🥇

Funny. I've written a message to you about this, but forgot to press "Comment".

@burrbull burrbull added the no changelog no-changelog label Feb 13, 2025
@burrbull burrbull added this pull request to the merge queue Feb 13, 2025
Merged via the queue into rust-embedded:master with commit 8b57a69 Feb 13, 2025
51 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog no-changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants