open-mpi / ompi

Open MPI main development repository
https://www.open-mpi.org
Other
2.07k stars 844 forks source link

TEST #12629

Closed wenduwan closed 2 weeks ago

wenduwan commented 2 weeks ago

Run CI

github-actions[bot] commented 2 weeks ago

Hello! The Git Commit Checker CI bot found a few problems with this PR:

14682a6c: TEST

Please fix these problems and, if necessary, force-push new commits back up to the PR branch. Thanks!