ci: Set openmpi and openmp parameters to make an efficient use of the CI #3908
CircleCI Checks / sanitizers
succeeded
Nov 15, 2023 in 55m 10s
Workflow: sanitizers
- fedora-tsan - Success
- fedora-msan - Success
- fedora-ubsan - Success
- fedora-asan - Success
Loading