Skip to content

[Fix] Move openmpi_oversubscribe to init function rather than resource_dict#937

Merged
jan-janssen merged 1 commit intomainfrom
openmpi_oversubscribe
Feb 22, 2026
Merged

[Fix] Move openmpi_oversubscribe to init function rather than resource_dict#937
jan-janssen merged 1 commit intomainfrom
openmpi_oversubscribe

Commits