Skip to content

Conversation

@skyzh
Copy link
Contributor

@skyzh skyzh commented Apr 12, 2022

Signed-off-by: Alex Chi [email protected]

What's changed and what's your intention?

TL;DR: use bors try on contributors' PR to run tests.

Checklist

  • I have written necessary docs and comments
  • I have added necessary unit tests and integration tests

Refer to a related PR or issue link (optional)

close #1727

@skyzh skyzh enabled auto-merge (squash) April 12, 2022 07:41
@skyzh skyzh requested review from TennyZhuang and fuyufjh April 12, 2022 07:41
@skyzh
Copy link
Contributor Author

skyzh commented Apr 12, 2022

bors try

@bors
Copy link

bors bot commented Apr 12, 2022

try

Configuration problem:
bors.toml: not found


## To check-in PRs from forks...

Use
Copy link
Collaborator

Choose a reason for hiding this comment

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

Suggested change
Use
Simply comment

@codecov
Copy link

codecov bot commented Apr 12, 2022

Codecov Report

Merging #1784 (3c82f13) into main (af40194) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1784   +/-   ##
=======================================
  Coverage   71.35%   71.35%           
=======================================
  Files         605      605           
  Lines       78689    78689           
=======================================
+ Hits        56150    56152    +2     
+ Misses      22539    22537    -2     
Flag Coverage Δ
rust 71.35% <ø> (+<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 23.70% <0.00%> (+0.19%) ⬆️
src/connector/src/filesystem/file_common.rs 80.88% <0.00%> (+0.44%) ⬆️

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

@skyzh skyzh merged commit 0055db3 into main Apr 12, 2022
@skyzh skyzh deleted the skyzh/bors-try branch April 12, 2022 08:05
TennyZhuang added a commit that referenced this pull request Apr 24, 2022
skyzh pushed a commit that referenced this pull request Apr 24, 2022
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.

Forks can't load github secrets, all CI will fail.

3 participants