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.

Sign up for GitHub

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

Jump to bottom

ArraySweep for dond #3847

Merged
merged 7 commits into from
Jan 20, 2022
Merged

ArraySweep for dond #3847

merged 7 commits into from
Jan 20, 2022

Conversation

astafan8
Copy link
Contributor

No description provided.

@astafan8 astafan8 requested a review from jenshnielsen January 20, 2022 10:11
@astafan8 astafan8 added this to the 0.32.0 milestone Jan 20, 2022
@codecov
Copy link

codecov bot commented Jan 20, 2022 •
edited
Loading

Codecov Report

Merging #3847 (b87c978) into master (dd47a68) will increase coverage by 0.01%.
The diff coverage is 95.00%.

@@            Coverage Diff             @@
##           master    #3847      +/-   ##
==========================================
+ Coverage   65.58%   65.60%   +0.01%     
==========================================
  Files         227      227              
  Lines       30651    30671      +20     
==========================================
+ Hits        20103    20122      +19     
- Misses      10548    10549       +1

@astafan8 astafan8 enabled auto-merge January 20, 2022 10:31
@astafan8 astafan8 disabled auto-merge January 20, 2022 10:32
@astafan8
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 20, 2022

🕐 Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@bors
Copy link
Contributor

bors bot commented Jan 20, 2022

👎 Rejected by PR status

@astafan8
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 20, 2022

🕐 Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@astafan8
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 20, 2022

Build succeeded:

@bors bors bot merged commit cf19e0a into microsoft:master Jan 20, 2022
@jenshnielsen jenshnielsen deleted the arraysweep branch January 20, 2022 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jenshnielsen jenshnielsen jenshnielsen approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
0.32.0
Development

Successfully merging this pull request may close these issues.
2 participants
@astafan8 @jenshnielsen