[OMPI devel] Github CI on main and v5.0.x branches

2024-12-04 Thread Jeff Squyres (jsquyres) via devel
FYI: * There is a known issue with the Jenkins running on OMPI PRs right now. * You'll notice that all the "continuous-integration" PR CI entries are perpetually in the yellow-dot state. * Brian is working to fix it (thanks Brian!). Stay tuned. * We just made a bunch of CI tests ma

Re: [OMPI devel] Github CI on main and v5.0.x branches

2024-12-04 Thread Jeff Squyres (jsquyres) via devel
The previous message was very delayed — I sent it a few days ago. The Github CI / Jenkins stuff has all been fixed. From: devel on behalf of Jeff Squyres (jsquyres) via devel Sent: Monday, December 2, 2024 4:04 PM To: Open MPI Developers Cc: Jeff Squyres (jsquy