Skip to content

Remove openmpi from controller#320

Merged
asteny merged 1 commit intodevfrom
rm_unused
Jan 14, 2025
Merged

Remove openmpi from controller#320
asteny merged 1 commit intodevfrom
rm_unused

Conversation

@asteny
Copy link
Collaborator

@asteny asteny commented Jan 14, 2025

No description provided.

@asteny asteny merged commit e6b8a28 into dev Jan 14, 2025
@asteny asteny deleted the rm_unused branch January 14, 2025 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants