Skip to content

Add logging infrastructure#302

Merged
cyqsimon merged 2 commits intomainfrom
logging
Oct 11, 2023
Merged

Add logging infrastructure#302
cyqsimon merged 2 commits intomainfrom
logging

Conversation

@cyqsimon
Copy link
Copy Markdown
Collaborator

@konnorandrews suggested we use tracing. But after taking a brief look at it, I thought it's too complex for our needs.

I opted to use simplelog, which is as uncomplicated as it gets.

@cyqsimon cyqsimon merged commit 94ada5d into main Oct 11, 2023
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.

1 participant