Chore: Not generate boogie translation if not verifying #20172
Annotations
1 warning
|
Create NuGet package (just to make sure it works)
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
|
Loading