Skip to content

Backport PR #777 to release-0-22 - #780

Merged
zhenrongliew merged 1 commit into
release-0-22from
release-0-22-backport-pr777
Oct 13, 2026
Merged

zhenrongliew merged 1 commit into
release-0-22from
release-0-22-backport-pr777

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated backport of PR #777 (9be49b5) to release-0-22.

@github-actions

Copy link
Copy Markdown
Contributor Author

☂️ Code Coverage

current status: ✅

Overall Coverage

Statements Covered Coverage Threshold Status
12166 11011 91% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/dialects/lowering/cf.py 96% 🟢
src/kirin/dialects/scf/lowering.py 96% 🟢
TOTAL 96% 🟢

updated for commit: b687d6a by action🐍

@github-actions

github-actions Bot commented Oct 13, 2026 •

Copy link
Copy Markdown
Contributor Author
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-10-13 13:31 UTC

@zhenrongliew
zhenrongliew merged commit 72e1c8d into release-0-22 Oct 13, 2026
7 checks passed
@zhenrongliew
zhenrongliew deleted the release-0-22-backport-pr777 branch October 13, 2026 13:31
@codecov

codecov Bot commented Oct 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

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