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

Drop references to System.Text.Json when Microsoft.Coyote is released #5815

Open
Kielek opened this issue Sep 4, 2024 · 0 comments
Open

Drop references to System.Text.Json when Microsoft.Coyote is released #5815

Kielek opened this issue Sep 4, 2024 · 0 comments
Labels
infra Infra work - CI/CD, code coverage, linters

Comments

@Kielek
Copy link
Contributor

Kielek commented Sep 4, 2024

Drop manual bumping of transitional references (System.Text.Json) when Microsoft.Coyote is released (1.7.12+).

Consider creating a tracking issue, so we can remove these once Microsoft.Coyote made the fix/update.

Originally posted by @reyang in #5812 (comment)
@Kielek Kielek mentioned this issue Sep 4, 2024
Merged
1 task
@Kielek Kielek added the infra Infra work - CI/CD, code coverage, linters label Sep 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
infra Infra work - CI/CD, code coverage, linters
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Kielek