ci: update openpmix v4 version

Problem: modern ompi v5 releases require a newer version of openpmix than we are currently building in ci. Replace openpmix 4.2.4 builds with 4.2.9 (the latest in the v4 series).
flux-framework · Dec 11, 2024 · d7f3723 · d7f3723
1 parent 5cb828c
commit d7f3723
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,14 +25,14 @@ jobs:
         - name: "jammy - chain_lint"
           image: "jammy"
           ompi_branch: "v5.0.0rc12"
-          openpmix_branch: "v4.2.3"
+          openpmix_branch: "v4.2.9"
           coverage: false
           env:
             chain_lint: t
         - name: "el8 - distcheck"
           image: "el8"
           ompi_branch: "v5.0.0rc12"
-          openpmix_branch: "v4.2.3"
+          openpmix_branch: "v4.2.9"
           coverage: false
           env:
             DISTCHECK: t
@@ -45,14 +45,14 @@ jobs:
         - name: "jammy - coverage"
           image: "jammy"
           ompi_branch: "v5.0.0rc12"
-          openpmix_branch: "v4.2.3"
+          openpmix_branch: "v4.2.9"
           coverage: true
           env:
             COVERAGE: t
         - name: "fedora34 - ompi v5.0.x"
           image: "fedora34"
           ompi_branch: "v5.0.0rc12"
-          openpmix_branch: "v4.2.3"
+          openpmix_branch: "v4.2.9"
           coverage: false
           env: {}
         - name: "jammy - ompi v4.1.x"

diff --git a/src/test/docker/jammy/Dockerfile b/src/test/docker/jammy/Dockerfile
@@ -3,7 +3,7 @@ FROM fluxrm/flux-core:jammy
 ARG USER=fluxuser
 ARG UID=1000
 ARG OMPI_BRANCH=v5.0.x
-ARG OPENPMIX_BRANCH=v4.2.4
+ARG OPENPMIX_BRANCH=v4.2.9
 
 RUN \
  if test "$USER" != "fluxuser"; then  \