Skip to content

reporter: more counter stats on the summary reporting line#110

Merged
ctrochalakis merged 1 commit into
masterfrom
reporter-stats-line-1
Oct 1, 2025
Merged

reporter: more counter stats on the summary reporting line#110
ctrochalakis merged 1 commit into
masterfrom
reporter-stats-line-1

Conversation

@ctrochalakis

Copy link
Copy Markdown
Member

This line gives a good overview of the build, let's make it richer.

This line gives a good overview of the build, let's make it richer.
@ctrochalakis ctrochalakis merged commit df800d0 into master Oct 1, 2025
6 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.

1 participant