Label PRs

Use mpi-extensions main Open MPI in CI #1535

Sign in to view logs

Triggered via pull request June 16, 2026 15:38

allnes

synchronize #834

Status Success

Total duration 18s

Artifacts –

labeler.yml

on: pull_request_target

label-pull-requests