Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mpi #242

Merged
merged 14 commits into from
Jul 30, 2024
Merged

Mpi #242

merged 14 commits into from
Jul 30, 2024

Conversation

TApplencourt
Copy link
Collaborator

No description provided.

@TApplencourt
Copy link
Collaborator Author

TApplencourt commented Jun 26, 2024

I hate GitHub so much; freaking failing to make a correct diff if you update your branch with master during a PR

@TApplencourt TApplencourt requested a review from Kerilk June 26, 2024 22:19
@TApplencourt
Copy link
Collaborator Author

I think it's now "feature complete"

@TApplencourt TApplencourt reopened this Jun 28, 2024
@TApplencourt TApplencourt force-pushed the mpi_clean branch 2 times, most recently from 9e98897 to e64e39d Compare July 12, 2024 14:12
@TApplencourt
Copy link
Collaborator Author

I think it's ready to merge, people are using it for the best weeks and didn't find problem with it.
Too big to review, but not sure how can add a new backend in a easiest fashion.

@TApplencourt TApplencourt force-pushed the mpi_clean branch 3 times, most recently from e2febe9 to ca9b864 Compare July 17, 2024 20:08
@TApplencourt
Copy link
Collaborator Author

Add tested (check if mpi_init and mpI_finalize present in summary), ready to merge.

@Kerilk Kerilk merged commit cbc198a into master Jul 30, 2024
16 checks passed
@Kerilk Kerilk deleted the mpi_clean branch July 30, 2024 16:47
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.

2 participants