Skip to content
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.

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

AUTO: chore: fix tagging auto merge PR #16614

Merged
merged 1 commit into from
Jan 24, 2024

Conversation

otto-the-bot
Copy link
Collaborator

No description provided.

@otto-the-bot otto-the-bot requested a review from a team as a code owner January 24, 2024 13:31
@github-actions github-actions bot added the auto-merge Will trigger the pr-auto-merge job label Jan 24, 2024
@atomrc atomrc added auto-merge Will trigger the pr-auto-merge job and removed auto-merge Will trigger the pr-auto-merge job labels Jan 24, 2024
Copy link

codecov bot commented Jan 24, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (bd31cbb) 45.53% compared to head (273d506) 45.53%.

Additional details and impacted files
@@           Coverage Diff           @@
##              dev   #16614   +/-   ##
=======================================
  Coverage   45.53%   45.53%           
=======================================
  Files         743      743           
  Lines       24315    24315           
  Branches     5533     5533           
=======================================
  Hits        11073    11073           
  Misses      11826    11826           
  Partials     1416     1416           

@atomrc atomrc merged commit 8e36b24 into dev Jan 24, 2024
11 of 14 checks passed
@atomrc atomrc deleted the auto-dev-66516cdffe00b17e98382ec883a2277fb3aacbcf branch January 24, 2024 13:48
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.

2 participants