Skip to content

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented Feb 4, 2022

Fixes #64817

@ghost ghost added the area-Tools-ILVerification Issues related to ilverify tool and IL verification in general label Feb 4, 2022
@ghost ghost assigned jkotas Feb 4, 2022
@ghost
Copy link

ghost commented Feb 4, 2022

Tagging subscribers to this area: @JulieLeeMSFT
See info in area-owners.md if you want to be subscribed.

Issue Details

Fixes #64817

Author: jkotas
Assignees: -
Labels:

area-ILVerification

Milestone: -

@jkotas jkotas merged commit c4c1c3a into dotnet:main Feb 9, 2022
@jkotas jkotas deleted the ilverify-sourcebuild branch February 9, 2022 05:01
@jkotas
Copy link
Member Author

jkotas commented Feb 9, 2022

/backport to release/6.0

@github-actions
Copy link
Contributor

github-actions bot commented Feb 9, 2022

Started backporting to release/6.0: https://github.com/dotnet/runtime/actions/runs/1819207824

@ghost ghost locked as resolved and limited conversation to collaborators Mar 11, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Tools-ILVerification Issues related to ilverify tool and IL verification in general

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[release/6.0] ILVerify does not build in source-build

3 participants