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

[build] Fix for #3365--Add grammar coverage tool. #3511

Merged
merged 14 commits into from
Jun 22, 2023
Merged

[build] Fix for #3365--Add grammar coverage tool. #3511

merged 14 commits into from
Jun 22, 2023

Commits on Jun 5, 2023

  1. Fix for #3365

    @kaby76
    kaby76 committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    aa3eb1d View commit details
    Browse the repository at this point in the history

  2. Fix tab.

    @kaby76
    kaby76 committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    4fd289a View commit details
    Browse the repository at this point in the history

  3. Update to track coverage of a grammar.

    @kaby76
    kaby76 committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    943b65b View commit details
    Browse the repository at this point in the history

  4. Add trcover, update versions.

    @kaby76
    kaby76 committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    ba80ea0 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. Update tools.

    @kaby76
    kaby76 committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    94dc480 View commit details
    Browse the repository at this point in the history

  2. Fix archive step.

    @kaby76
    kaby76 committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    f640ba6 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. Merge branch 'master' into g4-3365

    @kaby76
    kaby76 committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    615b1fa View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. Merge branch 'master' into g4-3365

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    a80a96e View commit details
    Browse the repository at this point in the history

  2. Merge in changes for coverage.

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    d1dd997 View commit details
    Browse the repository at this point in the history

  3. Updates with local dotnet tools.

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    2ba1740 View commit details
    Browse the repository at this point in the history

  4. Fix typo.

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    79ed241 View commit details
    Browse the repository at this point in the history

  5. Try again?

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    64c32d1 View commit details
    Browse the repository at this point in the history

  6. Fix typo.

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    0ffd489 View commit details
    Browse the repository at this point in the history

  7. Clean up.

    @kaby76
    kaby76 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    d05405e View commit details
    Browse the repository at this point in the history