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

Bump Rust to 1.70 #3165

Merged
merged 10 commits into from Jun 8, 2023
Merged

Bump Rust to 1.70 #3165

merged 10 commits into from Jun 8, 2023

Conversation

Porges
Copy link
Member

@Porges Porges commented Jun 7, 2023

https://releases.rs/docs/1.70.0/

One small lint fix required.

@codecov-commenter
Copy link

codecov-commenter commented Jun 7, 2023

Codecov Report

Merging #3165 (32b2cf5) into main (96456d0) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #3165      +/-   ##
==========================================
- Coverage   29.61%   29.61%   -0.01%     
==========================================
  Files         332      332              
  Lines       38889    38890       +1     
==========================================
  Hits        11516    11516              
- Misses      27373    27374       +1     
Impacted Files Coverage Δ
src/agent/win-util/src/process.rs 29.76% <100.00%> (ø)

... and 1 file with indirect coverage changes

@Porges Porges marked this pull request as ready for review June 7, 2023 01:15
@Porges Porges enabled auto-merge (squash) June 7, 2023 01:15
@Porges Porges marked this pull request as draft June 7, 2023 03:13
auto-merge was automatically disabled June 7, 2023 03:13

Pull request was converted to draft

@Porges
Copy link
Member Author

Porges commented Jun 7, 2023

Converting back to draft: there's a problem with the dotnet package...

@Porges Porges marked this pull request as ready for review June 7, 2023 22:23
@Porges Porges enabled auto-merge (squash) June 7, 2023 22:27
@Porges Porges disabled auto-merge June 7, 2023 22:27
@Porges Porges enabled auto-merge (squash) June 7, 2023 22:27
@Porges Porges merged commit 15351a7 into main Jun 8, 2023
25 checks passed
@Porges Porges deleted the rust-1.70 branch June 8, 2023 20:14
@AdamL-Microsoft AdamL-Microsoft mentioned this pull request Jun 20, 2023
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.

None yet

3 participants