Skip to content

Conversation

@aj463
Copy link
Collaborator

@aj463 aj463 commented Nov 20, 2025

The remaining PR changes we discussed

@aj463 aj463 requested a review from dridzal November 20, 2025 21:10
Copy link
Collaborator

@dridzal dridzal left a comment

Choose a reason for hiding this comment

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

This is thoroughly tested.

@aj463 aj463 merged commit fee230b into develop Nov 21, 2025
1 check passed
@aj463 aj463 deleted the trilinos-pr-fixes branch December 2, 2025 03:02
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