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

[Merged by Bors] - Avoid races in postVerifier #4965

Closed
wants to merge 7 commits into from
Closed

[Merged by Bors] - Avoid races in postVerifier #4965

wants to merge 7 commits into from

Commits on Sep 7, 2023

  1. Avoid races in postVerifier

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    67426c6 View commit details
    Browse the repository at this point in the history

  2. Update post

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    dbe5c38 View commit details
    Browse the repository at this point in the history

  3. Fix possible deadlock

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    4dfa67a View commit details
    Browse the repository at this point in the history

  4. Add test to dectect race or deadlock

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    a4b84db View commit details
    Browse the repository at this point in the history

  5. Update post dependency

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    3502de3 View commit details
    Browse the repository at this point in the history

  6. Update changelog

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    f08d798 View commit details
    Browse the repository at this point in the history

  7. Review feedback

    @fasmat
    fasmat committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    cc8c7fc View commit details
    Browse the repository at this point in the history