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

o1trace/trace-tool revival #14811

Merged
merged 12 commits into from
Jan 11, 2024
Merged

o1trace/trace-tool revival #14811

merged 12 commits into from
Jan 11, 2024

Conversation

emberian
Copy link
Contributor

@emberian emberian commented Jan 9, 2024

The trace-tool is still in WIP, but this at least fixes daemon --tracing. The trace-tool as it exists will output one row per "fiber" in our code. We can evolve it independently.

@emberian emberian requested review from a team as code owners January 9, 2024 06:27
@emberian emberian changed the title trace tool gets built with --release o1trace/trace-tool revival Jan 9, 2024
@emberian emberian changed the base branch from develop to rampup January 10, 2024 18:05
src/lib/o1trace/thread.ml Show resolved Hide resolved
@deepthiskumar
Copy link
Member

!ci-build-me

@deepthiskumar
Copy link
Member

!approved-for-mainnet

@emberian
Copy link
Contributor Author

!ci-build-me

@deepthiskumar
Copy link
Member

!approved-for-mainnet

@emberian emberian merged commit 56fa1db into rampup Jan 11, 2024
39 checks passed
@emberian emberian deleted the fix/trace-tool branch January 11, 2024 00:46
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.

3 participants