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

Optimized trace-dispatcher and tracing system #4811

Merged
merged 9 commits into from
Jan 31, 2023

Conversation

jutaro
Copy link
Contributor

@jutaro jutaro commented Jan 19, 2023

Make namespaces more opwerful, enhance the interface and have all metainformation accessible at runtime for optimizations.

@jutaro jutaro self-assigned this Jan 19, 2023
@jutaro jutaro linked an issue Jan 19, 2023 that may be closed by this pull request
@jutaro jutaro force-pushed the trace-dispatcher-3-newMain branch 5 times, most recently from 0d063ae to 3b70450 Compare January 21, 2023 00:26
@jutaro
Copy link
Contributor Author

jutaro commented Jan 23, 2023

bors r+

iohk-bors bot added a commit that referenced this pull request Jan 23, 2023
4811: Optimized trace-dispatcher and tracing system r=jutaro a=jutaro

Make namespaces more opwerful, enhance the interface and have all metainformation accessible at runtime for optimizations.

Co-authored-by: Yupanqui <jnf@arcor.de>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jan 23, 2023

This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried.

Additional information:

{"message":"Required status check \"ci/pr/required\" is failing.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

Copy link
Contributor

@deepfire deepfire left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @jutaro !

@deepfire
Copy link
Contributor

bors r+

iohk-bors bot added a commit that referenced this pull request Jan 25, 2023
4811: Optimized trace-dispatcher and tracing system r=deepfire a=jutaro

Make namespaces more opwerful, enhance the interface and have all metainformation accessible at runtime for optimizations.

Co-authored-by: Yupanqui <jnf@arcor.de>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jan 25, 2023

Build failed:

@deepfire
Copy link
Contributor

So, the problem is that analysis now produces empty results..

@deepfire
Copy link
Contributor

make ci-bench-autonix passed and analysis data is good, merging by hand.

@deepfire deepfire merged commit 66c4683 into master Jan 31, 2023
@iohk-bors iohk-bors bot deleted the trace-dispatcher-3-newMain branch January 31, 2023 10:24
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.

Optimize new tracing system
3 participants