Skip to content

Conversation

@jasagredo
Copy link
Contributor

Closes #1710

@jasagredo jasagredo self-assigned this Nov 24, 2025
@jasagredo jasagredo force-pushed the js/tracing-forkers branch 2 times, most recently from 6f0481a to 0be9949 Compare November 25, 2025 06:39
Copy link
Contributor

@geo2a geo2a left a comment

Choose a reason for hiding this comment

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

I have a small comment regarding the use of the new TVar, otherwise looks good!

@jasagredo jasagredo mentioned this pull request Nov 25, 2025
18 tasks
@jasagredo jasagredo enabled auto-merge December 4, 2025 11:58
@jasagredo jasagredo disabled auto-merge December 4, 2025 12:06
@jasagredo jasagredo changed the base branch from main to geo2a/revert-peras-4 December 4, 2025 12:06
@geo2a geo2a force-pushed the geo2a/revert-peras-4 branch from 5380865 to 474bfff Compare December 4, 2025 12:08
@jasagredo jasagredo moved this to 👀 In review in Consensus Team Backlog Dec 4, 2025
Base automatically changed from geo2a/revert-peras-4 to main December 4, 2025 21:50
@jasagredo jasagredo added this pull request to the merge queue Dec 5, 2025
Merged via the queue into main with commit f7ccce9 Dec 5, 2025
45 of 47 checks passed
@jasagredo jasagredo deleted the js/tracing-forkers branch December 5, 2025 01:09
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Consensus Team Backlog Dec 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

Cleanup forker traces

3 participants