Skip to content

Backport PR #719 to release-0-22 - #722

Merged
kaihsin merged 1 commit into
release-0-22from
release-0-22-backport-pr719
Sep 2, 2026
Merged

Backport PR #719 to release-0-22#722
kaihsin merged 1 commit into
release-0-22from
release-0-22-backport-pr719

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

Automated backport of PR #719 (2481110) to release-0-22.

@github-actions

github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor Author

☂️ Code Coverage

current status: ✅

Overall Coverage

Statements Covered Coverage Threshold Status
11757 10606 90% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/ir/dialect.py 92% 🟢
src/kirin/ir/group.py 91% 🟢
src/kirin/ir/nodes/stmt.py 87% 🟢
src/kirin/registry.py 93% 🟢
TOTAL 91% 🟢

updated for commit: c11a87f by action🐍

@github-actions

github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor Author
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-09-02 15:11 UTC

@codecov

codecov Bot commented Sep 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@kaihsin
kaihsin merged commit 77d7ab6 into release-0-22 Sep 2, 2026
8 of 10 checks passed
@kaihsin
kaihsin deleted the release-0-22-backport-pr719 branch September 2, 2026 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant