Skip to content

Conversation

@adamgerhant
Copy link
Collaborator

Fixes an issue where the export edge distance was not correct by simplifying code and reducing duplicate state

@Keavon
Copy link
Member

Keavon commented Nov 16, 2025

@adamgerhant CI failure (formatting).

@timon-schelling timon-schelling changed the base branch from rework-graph-popups to master November 17, 2025 16:59
@timon-schelling
Copy link
Member

this should be moved out of the stack doing this now

@timon-schelling timon-schelling merged commit 85965c8 into master Nov 17, 2025
3 checks passed
@timon-schelling timon-schelling deleted the fix-export-edges branch November 17, 2025 17:22
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.

4 participants