Skip to content

Fix pyright #623

Merged
weinbe58 merged 3 commits into
mainfrom
khwu/fix_type
Mar 19, 2026
Merged

Fix pyright #623
weinbe58 merged 3 commits into
mainfrom
khwu/fix_type

Conversation

@kaihsin
Copy link
Copy Markdown
Collaborator

@kaihsin kaihsin commented Mar 19, 2026

This PR address small issue that make pyright CI failed.

dependabot Bot and others added 3 commits March 12, 2026 00:34
Bumps [tornado](https://github.com/tornadoweb/tornado) from 6.5.4 to 6.5.5.
- [Changelog](https://github.com/tornadoweb/tornado/blob/master/docs/releases.rst)
- [Commits](tornadoweb/tornado@v6.5.4...v6.5.5)

---
updated-dependencies:
- dependency-name: tornado
  dependency-version: 6.5.5
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
@github-actions
Copy link
Copy Markdown
Contributor

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
11415 10261 90% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/dialects/ilist/rewrite/to_range_loop.py 100% 🟢
TOTAL 100% 🟢

updated for commit: 9afd3af by action🐍

@codecov
Copy link
Copy Markdown

codecov Bot commented Mar 19, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Mar 19, 2026

PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-03-19 16:51 UTC

@kaihsin kaihsin requested review from Roger-luo and weinbe58 March 19, 2026 16:21
@weinbe58 weinbe58 merged commit 1e46999 into main Mar 19, 2026
13 checks passed
@weinbe58 weinbe58 deleted the khwu/fix_type branch March 19, 2026 16:50
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.

2 participants