Skip to content

chore: group dependantbot PRs#626

Merged
kumaranvpl merged 2 commits into
mainfrom
chore/dependantbor-groups
Jan 2, 2025
Merged

chore: group dependantbot PRs#626
kumaranvpl merged 2 commits into
mainfrom
chore/dependantbor-groups

Conversation

@Lancetnik

Copy link
Copy Markdown
Member

Sorry, just saw this annoying thing and couldn't resist to fix it

@kumaranvpl
kumaranvpl enabled auto-merge December 20, 2024 04:26
@kumaranvpl
kumaranvpl disabled auto-merge December 30, 2024 08:53
@codecov

codecov Bot commented Jan 2, 2025

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

@kumaranvpl
kumaranvpl added this pull request to the merge queue Jan 2, 2025
Merged via the queue into main with commit 5ed668f Jan 2, 2025
@kumaranvpl
kumaranvpl deleted the chore/dependantbor-groups branch January 2, 2025 11:39
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