Skip to content
This repository was archived by the owner on Nov 1, 2023. It is now read-only.

Rust 1.71#3292

Merged
Porges merged 2 commits into
mainfrom
rust-1.71
Jul 13, 2023
Merged

Rust 1.71#3292
Porges merged 2 commits into
mainfrom
rust-1.71

Conversation

@Porges

@Porges Porges commented Jul 13, 2023

Copy link
Copy Markdown
Member

Bump!

@codecov-commenter

codecov-commenter commented Jul 13, 2023

Copy link
Copy Markdown

Codecov Report

Merging #3292 (bc912fe) into main (8a12f95) will increase coverage by 0.68%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3292      +/-   ##
==========================================
+ Coverage   31.38%   32.06%   +0.68%     
==========================================
  Files         313      274      -39     
  Lines       37166    31512    -5654     
==========================================
- Hits        11663    10105    -1558     
+ Misses      25503    21407    -4096     

see 90 files with indirect coverage changes

@Porges Porges marked this pull request as ready for review July 13, 2023 21:33
@Porges Porges enabled auto-merge (squash) July 13, 2023 21:33
@Porges Porges requested a review from AdamL-Microsoft July 13, 2023 21:43
@Porges Porges merged commit 7a92dab into main Jul 13, 2023
AdamL-Microsoft added a commit that referenced this pull request Jul 13, 2023
@AdamL-Microsoft AdamL-Microsoft mentioned this pull request Jul 13, 2023
@Porges Porges deleted the rust-1.71 branch July 14, 2023 06:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants