Skip to content

Conversation

@jasagredo
Copy link
Contributor

Forward-port of #1746

@jasagredo jasagredo mentioned this pull request Oct 31, 2025
14 tasks
@jasagredo jasagredo force-pushed the js/fix-double-read-lock-forward-port branch from 93e0980 to 513d27d Compare October 31, 2025 10:57
Copy link
Member

@amesgen amesgen left a comment

Choose a reason for hiding this comment

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

Approving as per #1746

@jasagredo jasagredo self-assigned this Oct 31, 2025
@jasagredo jasagredo moved this to 👀 In review in Consensus Team Backlog Oct 31, 2025
@geo2a geo2a force-pushed the js/expose-for-node branch 2 times, most recently from b93a6d5 to 980a6d9 Compare November 12, 2025 12:00
Base automatically changed from js/expose-for-node to main November 12, 2025 14:33
@geo2a geo2a force-pushed the js/fix-double-read-lock-forward-port branch from 513d27d to c714ec0 Compare November 12, 2025 17:02
@geo2a geo2a enabled auto-merge November 12, 2025 17:03
@geo2a geo2a force-pushed the js/fix-double-read-lock-forward-port branch from c714ec0 to 966ef0c Compare November 13, 2025 07:43
@geo2a geo2a added this pull request to the merge queue Nov 13, 2025
Merged via the queue into main with commit 15a2a55 Nov 13, 2025
16 of 18 checks passed
@geo2a geo2a deleted the js/fix-double-read-lock-forward-port branch November 13, 2025 09:46
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Consensus Team Backlog Nov 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

4 participants