Skip to content

[logging] Normalize duration to milliseconds, rounded to 0.01#1519

Merged
mickmis merged 1 commit into
interuss:masterfrom
Orbitalize:fix_1510
Jun 11, 2026
Merged

[logging] Normalize duration to milliseconds, rounded to 0.01#1519
mickmis merged 1 commit into
interuss:masterfrom
Orbitalize:fix_1510

Conversation

@the-glu

@the-glu the-glu commented Jun 10, 2026

Copy link
Copy Markdown
Member

Fix #1510 : the duration field, previously recorded as a string containing the unit, has been changed to duration_ms, a float representing the duration in milliseconds, rounded to 0.01.

@mickmis mickmis merged commit 3d8afed into interuss:master Jun 11, 2026
12 checks passed
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.

Make duration in logs more searchable/filterable

2 participants