Skip to content

✅ Test translation to jeff#1676

Draft
denialhaag wants to merge 6 commits intomainfrom
translate-jeff
Draft

✅ Test translation to jeff#1676
denialhaag wants to merge 6 commits intomainfrom
translate-jeff

Conversation

@denialhaag
Copy link
Copy Markdown
Member

@denialhaag denialhaag commented Apr 30, 2026

Description

This PR extends our jeff round-trip tests by serializing and deserializing the jeff programs.

Fixes #1667

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.

@denialhaag denialhaag self-assigned this Apr 30, 2026
@denialhaag denialhaag added enhancement Improvement of existing feature MLIR Anything related to MLIR labels Apr 30, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 30, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@denialhaag denialhaag changed the title ✅ Test translation to jeff ✅ Test translation to jeff Apr 30, 2026
burgholzer added 4 commits May 5, 2026 00:11
Signed-off-by: burgholzer <burgholzer@me.com>
Signed-off-by: burgholzer <burgholzer@me.com>
Signed-off-by: burgholzer <burgholzer@me.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Improvement of existing feature MLIR Anything related to MLIR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

✅ Test translation to jeff

2 participants