Skip to content

chore: rename repository#318

Open
ddevin96 wants to merge 1 commit into
mainfrom
chore/rename-proj
Open

chore: rename repository#318
ddevin96 wants to merge 1 commit into
mainfrom
chore/rename-proj

Conversation

@ddevin96

Copy link
Copy Markdown
Collaborator

All submissions

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there are no other open Pull Requests for the same changes?
  • Have you made sure you have rebased your branch to the latest commit on the target branch?

Description

Rename project.

Checklist

  • Does your submission pass all tests? (use make test)
  • Have you written tests to cover all your changes? If not, provide a reason.
  • Have you lint your code locally before submission? (use make format)
  • Have you type checked your code locally before submission? (use make typecheck)

@github-actions github-actions Bot added ci Changes to CI workflows or checks docs Improvements or additions to documentation tests Changes related to tests, test coverage, or testing tools utils Changes related to utility functions, helpers, or shared tools in the utils package chore Tasks that do not change library code labels Jun 19, 2026
@codecov

codecov Bot commented Jun 19, 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

chore Tasks that do not change library code ci Changes to CI workflows or checks docs Improvements or additions to documentation tests Changes related to tests, test coverage, or testing tools utils Changes related to utility functions, helpers, or shared tools in the utils package

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant