Closed Kielek closed 3 weeks ago
Follow up #5784
Brings defaults from .NET9. Opportunistic update of other tests packages.
System.Text.Json references can be removed when Microsoft.Coyote will be released https://github.com/microsoft/coyote/pull/507
CHANGELOG.md
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 86.30%. Comparing base (6250307) to head (cbe8e59). Report is 303 commits behind head on main.
6250307
cbe8e59
Follow up #5784
Changes
Brings defaults from .NET9. Opportunistic update of other tests packages.
System.Text.Json references can be removed when Microsoft.Coyote will be released https://github.com/microsoft/coyote/pull/507
Merge requirement checklist
[ ] Unit tests added/updated[ ] AppropriateCHANGELOG.md
files updated for non-trivial changes[ ] Changes in public API reviewed (if applicable)