Skip to content

Conversation

@newAM
Copy link
Member

@newAM newAM commented Mar 9, 2025

This was previously required due to a false positive that has since been resolved.

This was previously required due to a false positive that has since
been resolved.
@newAM newAM requested a review from a team March 9, 2025 18:17
@pvdrz
Copy link
Contributor

pvdrz commented Mar 24, 2025

I was thinking about including this in #542 but noticed that this was already open. Given that #542 was merged I think this should be merged as well.

@newAM newAM enabled auto-merge March 25, 2025 01:40
@newAM newAM mentioned this pull request Mar 25, 2025
14 tasks
@newAM newAM added this to the v1.0.0 milestone Mar 25, 2025
@newAM newAM added this pull request to the merge queue Mar 26, 2025
Merged via the queue into rust-embedded:main with commit 4e31d3e Mar 26, 2025
23 checks passed
@newAM newAM deleted the linear-map-clippy branch March 26, 2025 08:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants