Skip to content

Conversation

@thom-dani
Copy link
Contributor

Thanks for contributing to TTK!

Before submitting your pull request, please:

  • Review our Contributor Guidelines, in particular regarding code formatting (with clang-format) and continuous integration.

  • Please provide a quick description of your contributions below:

User-defined precision for the auction algorithm in the UI

@thom-dani thom-dani force-pushed the critical-point-tracking branch from eccee6e to 8f0f800 Compare July 10, 2025 11:14
@julien-tierny
Copy link
Collaborator

OK, ready to be merged (waiting for the CI to complete).

@julien-tierny julien-tierny added the ready ready to be merged label Nov 24, 2025
@julien-tierny julien-tierny merged commit edad766 into topology-tool-kit:dev Nov 24, 2025
45 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants