Skip to content

API update post FEniCS/dolfinx#4573 - #85

Merged
jorgensd merged 2 commits into
mainfrom
dokken/api-index-to-dest-ranks
Oct 6, 2026
Merged

jorgensd merged 2 commits into
mainfrom
dokken/api-index-to-dest-ranks

Conversation

@jorgensd

@jorgensd jorgensd commented Oct 6, 2026

Copy link
Copy Markdown
Member

No description provided.

@jorgensd
jorgensd marked this pull request as ready for review October 6, 2026 18:18
@jorgensd
jorgensd merged commit 388c5ef into main Oct 6, 2026
11 checks passed
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.

1 participant