Skip to content

Conversation

@lmatz
Copy link
Contributor

@lmatz lmatz commented May 24, 2022

What's changed and what's your intention?

As @Sunt-ing point out, the pr title labeler and checker do not work as the CONTRIBUTING.md specifies.
This PR makes them consistent.

Refer to a related PR or issue link (optional)

#2693

@github-actions github-actions bot added the type/fix Type: Bug fix. Only for pull requests. label May 24, 2022
@codecov
Copy link

codecov bot commented May 24, 2022

Codecov Report

Merging #2788 (4f30ffc) into main (971a7ac) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2788   +/-   ##
=======================================
  Coverage   72.69%   72.70%           
=======================================
  Files         698      698           
  Lines       91040    91040           
=======================================
+ Hits        66186    66187    +1     
+ Misses      24854    24853    -1     
Flag Coverage Δ
rust 72.70% <ø> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/common/src/types/ordered_float.rs 24.90% <0.00%> (+0.19%) ⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@TennyZhuang TennyZhuang merged commit 9ebda47 into main May 24, 2022
@TennyZhuang TennyZhuang deleted the lz/pr_title branch May 24, 2022 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type/fix Type: Bug fix. Only for pull requests.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants