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

Conversation

@Porges
Copy link
Member

@Porges Porges commented Jun 7, 2023

Somehow using the Microsoft package we are ending up with a broken install of dotnet. Change to use the Ubuntu-supplied version instead.

Also go ahead and update the devcontainer config to conform to the new standard.

@Porges Porges requested a review from tevoinea June 7, 2023 22:02
@Porges Porges enabled auto-merge (squash) June 7, 2023 22:03
@codecov-commenter
Copy link

codecov-commenter commented Jun 7, 2023

Codecov Report

Merging #3176 (5759d9f) into main (f724741) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #3176   +/-   ##
=======================================
  Coverage   29.61%   29.61%           
=======================================
  Files         332      332           
  Lines       38885    38885           
=======================================
  Hits        11516    11516           
  Misses      27369    27369           

@Porges Porges merged commit 37aede8 into main Jun 7, 2023
@Porges Porges deleted the devcontainer-fix branch June 7, 2023 22:23
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.

6 participants