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

Add transformation information to --info #1462

Open

WardBrian wants to merge 2 commits into master from tranform-info

Open

Add transformation information to --info #1462

dune promote

Codecov / codecov/patch succeeded Nov 1, 2024 in 1s

67.74% of diff hit (target 0.00%)

View this Pull Request on Codecov

67.74% of diff hit (target 0.00%)

Annotations

Check warning on line 40 in src/frontend/Info.ml

codecov / codecov/patch

src/frontend/Info.ml#L35-L40

Added lines #L35 - L40 were not covered by tests

Check warning on line 42 in src/frontend/Info.ml

codecov / codecov/patch

src/frontend/Info.ml#L42

Added line #L42 was not covered by tests

Check warning on line 47 in src/frontend/Info.ml

codecov / codecov/patch

src/frontend/Info.ml#L47

Added line #L47 was not covered by tests

Check warning on line 53 in src/frontend/Info.ml

codecov / codecov/patch

src/frontend/Info.ml#L52-L53

Added lines #L52 - L53 were not covered by tests

View more details on Codecov