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

chore: logging corrections and tweaks #6553

Merged
merged 3 commits into from
Oct 16, 2024
Merged

chore: logging corrections and tweaks #6553

merged 3 commits into from
Oct 16, 2024

Conversation

vvagaytsev
Copy link
Collaborator

What this PR does / why we need it:

Which issue(s) this PR fixes:

Fixes #

Special notes for your reviewer:

@vvagaytsev vvagaytsev requested a review from thsig October 16, 2024 12:51
Copy link
Collaborator

@thsig thsig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! I think we should increase the verbosity of these new log lines from debug to silly, since they're quite fine-grained. Do you agree?

@vvagaytsev
Copy link
Collaborator Author

Looks good! I think we should increase the verbosity of these new log lines from debug to silly, since they're quite fine-grained. Do you agree?

@thsig let's do that later. Now we need those log at the debug level to be able to see the timestamps of each operation in the log files. We do not log silly-level logs on disk, so we can't see timestamps.

@vvagaytsev vvagaytsev added this pull request to the merge queue Oct 16, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 16, 2024
@vvagaytsev vvagaytsev added this pull request to the merge queue Oct 16, 2024
github-merge-queue bot pushed a commit that referenced this pull request Oct 16, 2024
* chore: more precise log message on bad action name

* chore: log action batches on debug-level

To see the exact exec time in the log files.

* chore: extra logging in the slow function
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 16, 2024
@vvagaytsev vvagaytsev added this pull request to the merge queue Oct 16, 2024
Merged via the queue into main with commit a0ef5f1 Oct 16, 2024
40 checks passed
@vvagaytsev vvagaytsev deleted the chore/extra-logging branch October 16, 2024 14:13
vvagaytsev added a commit that referenced this pull request Oct 18, 2024
Revert some changes from #6553
github-merge-queue bot pushed a commit that referenced this pull request Oct 18, 2024
* chore: remove excessive logging

Revert some changes from #6553

* chore: log action preprocessing and ver merging durations

* chore: print fine-grained messages on silly level

* chore: remove outdated todo-comment

* chore: log action pre-/processing batch exec time
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.

2 participants