git subrepo pull packages/HighFive

subrepo: subdir: "packages/HighFive" merged: "dfc06537f" upstream: origin: "git@github.com:BlueBrain/HighFive.git" branch: "master" commit: "dfc06537f" git-subrepo: version: "0.4.9" origin: "git@github.com:ingydotnet/git-subrepo.git" commit: "30db3b8"

.gitlab-ci/clang14-mpi-debug.yml

-test:clang11-mpi-debug:
+test:clang14-mpi-debug:
   image: localhost:5000/ubuntu_jammy_clang14_mpi
   stage: test
   needs: []