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

chore: error index reporter improvements #3994

Merged
merged 5 commits into from
Oct 24, 2023
Merged

chore: error index reporter improvements #3994

merged 5 commits into from
Oct 24, 2023

Commits on Oct 20, 2023

  1. chore: respect transaction in error index reporter

    @atzoum
    atzoum committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    68b7936 View commit details
    Browse the repository at this point in the history

  2. chore: error index cleanup should not depend on syncers

    @atzoum
    atzoum committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    813bc7d View commit details
    Browse the repository at this point in the history

  3. chore: add Reporting#Stop

    @atzoum
    atzoum committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    9b8a5e8 View commit details
    Browse the repository at this point in the history

  4. chore: using different jobsdbs for different syncers in error index r… 

    …eporter
    @atzoum
    atzoum committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    0394bd3 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. chore: wrap error

    @atzoum
    atzoum committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    19f98db View commit details
    Browse the repository at this point in the history