Skip to content

Comments

chore: clean up log spam#39

Merged
robinlindh merged 1 commit intodevelopfrom
chore/cleanup-log-spam
Feb 12, 2026
Merged

chore: clean up log spam#39
robinlindh merged 1 commit intodevelopfrom
chore/cleanup-log-spam

Conversation

@robinlindh
Copy link
Collaborator

Removed some too explicit logs, turned some into debug, and for ceres optimizer output print either Full or Brief summary depending on log level.

@robinlindh robinlindh merged commit cca9e77 into develop Feb 12, 2026
2 checks passed
@robinlindh robinlindh deleted the chore/cleanup-log-spam branch February 12, 2026 10:12
@tatiesmars tatiesmars mentioned this pull request Feb 13, 2026
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