Skip to content

Conversation

@carmocca
Copy link
Contributor

What does this PR do?

Removes:

image

Since it counts as a comment, when looking at the issues list, some issues appear as if someone has commented when it's actually the bot.

@Borda Borda added productivity ci Continuous Integration labels Jan 18, 2021
@Borda Borda enabled auto-merge (squash) January 18, 2021 21:53
@codecov
Copy link

codecov bot commented Jan 18, 2021

Codecov Report

Merging #5563 (20f5ac3) into master (18bba25) will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff           @@
##           master   #5563   +/-   ##
======================================
  Coverage      93%     93%           
======================================
  Files         135     135           
  Lines       10005   10005           
======================================
  Hits         9339    9339           
  Misses        666     666           

@Borda Borda added the ready PRs ready to be merged label Jan 19, 2021
@Borda Borda merged commit 389186c into Lightning-AI:master Jan 19, 2021
@carmocca carmocca deleted the drop-greetings branch January 19, 2021 15:34
Borda pushed a commit that referenced this pull request Feb 4, 2021
Co-authored-by: chaton <thomas@grid.ai>
@carmocca carmocca self-assigned this Nov 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants