Skip to content

Improve ergonomics + Github Actions#13

Merged
tanin47 merged 1 commit intomainfrom
tanin/improve-ergonomics
Nov 10, 2025
Merged

Improve ergonomics + Github Actions#13
tanin47 merged 1 commit intomainfrom
tanin/improve-ergonomics

Conversation

@tanin47
Copy link
Owner

@tanin47 tanin47 commented Nov 10, 2025

No description provided.

@tanin47 tanin47 force-pushed the tanin/improve-ergonomics branch from 868b4e9 to 475c611 Compare November 10, 2025 22:23
@codecov-commenter
Copy link

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@tanin47 tanin47 merged commit 6d429c3 into main Nov 10, 2025
2 checks passed
@tanin47 tanin47 deleted the tanin/improve-ergonomics branch November 10, 2025 22:26
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