Skip to content

chore(repo): cleanup and update docs #1798

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

chore(repo): cleanup and update docs #1798

wants to merge 1 commit into from

Conversation

@mandarini
Copy link
Contributor

@mandarini mandarini commented Oct 23, 2025

Update lock files.

@mandarini mandarini changed the title fix(repo): update lock files feat(repo): update lock files Oct 23, 2025
@mandarini mandarini added the do-not-merge Do not merge this PR. label Oct 23, 2025
@mandarini mandarini force-pushed the chore/new-lock-files branch 4 times, most recently from 416ace0 to 43ab667 Compare October 23, 2025 13:11
@mandarini mandarini changed the title feat(repo): update lock files chore(repo): cleanup and update docs Oct 23, 2025
@mandarini mandarini force-pushed the chore/new-lock-files branch from 43ab667 to 53c1df6 Compare October 23, 2025 13:13
@coveralls
Copy link

coveralls commented Oct 23, 2025 •
edited
Loading

Coverage Status

coverage: 95.455% (-0.5%) from 95.986%
when pulling 53c1df6 on chore/new-lock-files
into 88f9aa8 on master.

@mandarini mandarini closed this Oct 24, 2025
@mandarini mandarini deleted the chore/new-lock-files branch October 24, 2025 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

do-not-merge Do not merge this PR.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mandarini @coveralls