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

Fix reminder bot #2247

Merged
merged 1 commit into from
Aug 12, 2023
Merged

Fix reminder bot #2247

merged 1 commit into from
Aug 12, 2023

Conversation

germa89
Copy link
Collaborator

@germa89 germa89 commented Aug 12, 2023

It seems that github bot removes the reminder bot label. I hope adding this label to the labels file should fix it.

@github-actions github-actions bot added CI/CD Related with CICD, Github Actions, etc Maintenance labels Aug 12, 2023
@codecov
Copy link

codecov bot commented Aug 12, 2023

Codecov Report

Merging #2247 (46daa19) into main (e3885fb) will increase coverage by 1.31%.
Report is 82 commits behind head on main.
The diff coverage is 93.68%.

@@            Coverage Diff             @@
##             main    #2247      +/-   ##
==========================================
+ Coverage   86.39%   87.71%   +1.31%     
==========================================
  Files          45       45              
  Lines        7977     8302     +325     
==========================================
+ Hits         6892     7282     +390     
+ Misses       1085     1020      -65     

@germa89
Copy link
Collaborator Author

germa89 commented Aug 12, 2023

LGTM.

@germa89 germa89 enabled auto-merge (squash) August 12, 2023 09:03
Copy link
Contributor

@pyansys-ci-bot pyansys-ci-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Approving this PR because germa89 said so in here 😬

@germa89 germa89 merged commit 7918659 into main Aug 12, 2023
@germa89 germa89 deleted the fix/reminder-bot branch August 12, 2023 09:07
germa89 added a commit that referenced this pull request Oct 9, 2023
Adding label to labels
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/CD Related with CICD, Github Actions, etc
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants