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

Ensure git status is checked at the correct time #575

Merged
merged 2 commits into from
May 9, 2022
Merged

Ensure git status is checked at the correct time #575

merged 2 commits into from
May 9, 2022

Commits on May 9, 2022

  1. Ensure git status is tracked at the correct time 

    The previous version would verify git status at time of `make verify` execution, but before all its dependencies executed.
If one of the dependencies resulted in a dirty git, the check would still pass.

Signed-off-by: Paulo Gomes <[email protected]>
    Paulo Gomes committed May 9, 2022
    Configuration menu
    Copy the full SHA
    c936fc1 View commit details
    Browse the repository at this point in the history

  2. Fix make verify failures 

    Signed-off-by: Paulo Gomes <[email protected]>
    Paulo Gomes committed May 9, 2022
    Configuration menu
    Copy the full SHA
    50cb97f View commit details
    Browse the repository at this point in the history