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.

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

Make the PAB log ~1/10_000 messages. #281

Merged
merged 1 commit into from
Jan 27, 2022

Conversation

raduom
Copy link
Contributor

@raduom raduom commented Jan 27, 2022

The way it was configured rarely if ever prints anything.

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@raduom raduom marked this pull request as ready for review January 27, 2022 07:09
@raduom raduom requested a review from a user January 27, 2022 07:10
@raduom raduom linked an issue Jan 27, 2022 that may be closed by this pull request
@raduom raduom self-assigned this Jan 27, 2022
The way it was configured rarely if ever prints anything.
@raduom raduom merged commit 897efdd into IntersectMBO:main Jan 27, 2022
@raduom raduom deleted the raduom/sync-msg branch January 27, 2022 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The PAB does not provide frequent progress feedback.
2 participants