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: improve some logging #202

Merged
merged 2 commits into from
Jun 14, 2024
Merged

chore: improve some logging #202

merged 2 commits into from
Jun 14, 2024

Conversation

paullatzelsperger
Copy link
Member

What this PR changes/adds

Briefly describe WHAT your pr changes, which features it adds/modifies.

Why it does that

Briefly state why the change was necessary.

Further notes

List other areas of code that have changed but are not necessarily linked to the main feature. This could be method
signature changes, package declarations, bugs that were encountered and were fixed inline, etc.

Linked Issue(s)

Closes # <-- insert Issue number if one exists

Please be sure to take a look at the contributing guidelines and our etiquette for pull requests.

@paullatzelsperger paullatzelsperger added the enhancement New feature or request label Jun 14, 2024
Copy link

github-actions bot commented Jun 14, 2024

Test Results

51 tests  ±0   51 ✅ ±0   1m 5s ⏱️ +2s
13 suites ±0    0 💤 ±0 
13 files   ±0    0 ❌ ±0 

Results for commit 0a24c7e. ± Comparison against base commit a88ed5e.

♻️ This comment has been updated with latest results.

@paullatzelsperger paullatzelsperger merged commit 8cc0e32 into main Jun 14, 2024
27 checks passed
@paullatzelsperger paullatzelsperger deleted the chore/improve_logging branch June 14, 2024 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants