Skip to content

Conversation

@david-pl
Copy link
Contributor

@david-pl david-pl requested a review from Roger-luo June 10, 2025 12:23
@github-actions
Copy link
Contributor

github-actions bot commented Jun 10, 2025

PR Preview Action v1.6.1
Preview removed because the pull request was closed.
2025-06-10 16:43 UTC

@codecov
Copy link

codecov bot commented Jun 10, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@github-actions
Copy link
Contributor

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
9681 8560 88% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/types.py 100% 🟢
TOTAL 100% 🟢

updated for commit: c364467 by action🐍

@Roger-luo Roger-luo merged commit 72ed814 into main Jun 10, 2025
12 of 13 checks passed
@Roger-luo Roger-luo deleted the david/number-type branch June 10, 2025 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

move number into kirin.types as builtin

3 participants