Skip to content

Merge pull request #507 from mmuetzel/ci #74

Merge pull request #507 from mmuetzel/ci

Merge pull request #507 from mmuetzel/ci #74

ubuntu (gcc with OpenMP)

succeeded Aug 2, 2024 in 11m 50s