Skip to content

chore: remove unused generic#154

Merged
asterite merged 1 commit intomainfrom
ab/remove-unused-generics
Mar 31, 2025
Merged

chore: remove unused generic#154
asterite merged 1 commit intomainfrom
ab/remove-unused-generics

Conversation

@asterite
Copy link
Copy Markdown
Contributor

Description

Problem

There's an unused generic.

Summary

Right now this doesn't trigger an error but soon it will.

Additional Context

PR Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@asterite asterite merged commit 13678cb into main Mar 31, 2025
7 checks passed
@asterite asterite deleted the ab/remove-unused-generics branch March 31, 2025 15:30
@github-project-automation github-project-automation bot moved this from 👀 To Triage to ✅ Done in Noir Libraries Mar 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants