Skip to content

⚰️ Remove unused CircuitInstruction warning filter - #826

Merged
denialhaag merged 1 commit into
mainfrom
codex/remove-unused-warning-filters
Sep 14, 2026
Merged

denialhaag merged 1 commit into
mainfrom
codex/remove-unused-warning-filters

Conversation

@denialhaag

Copy link
Copy Markdown
Member

Description

🤖 AI text below 🤖

Remove the CircuitInstruction iteration warning filter, which is no longer needed by the current conversion paths.

AI notice

This PR and its contents were created with the assistance of GPT-6 Astra via Codex.

Checklist

  • The pull request only contains commits that are focused and relevant to this change.
  • I have added appropriate tests that cover the new/changed functionality.
  • I have updated the documentation to reflect these changes.
  • I have added entries to the changelog for any noteworthy additions, changes, fixes, or removals.
  • I have added migration instructions to the upgrade guide (if needed).
  • The changes follow the project's style guidelines and introduce no new warnings.
  • The changes are fully tested and pass the CI checks.
  • I have reviewed my own code changes.

If PR contains AI-assisted content:

  • Any agent that created, edited, or submitted GitHub content was explicitly authorized for that scope, as required by our AI Usage Guidelines.
  • Every agent-authored or agent-edited public text body begins with the visible disclosure 🤖 *AI text below* 🤖 (titles are exempt).
  • I have disclosed AI assistance in the PR description.
  • I confirm that I have personally reviewed and understood all AI-generated content, and accept full responsibility for it.

Assisted-by: GPT-6 Astra via Codex
@denialhaag denialhaag self-assigned this Sep 14, 2026
@denialhaag denialhaag added the dependencies Pull requests that update a dependency file label Sep 14, 2026
@codecov

codecov Bot commented Sep 14, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@denialhaag
denialhaag merged commit 51be021 into main Sep 14, 2026
13 checks passed
@denialhaag
denialhaag deleted the codex/remove-unused-warning-filters branch September 14, 2026 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant