Skip to content

Merge pull request #1032 from lukaszstolarczuk/merge-v0.10.x-into-main #4868

Merge pull request #1032 from lukaszstolarczuk/merge-v0.10.x-into-main

Merge pull request #1032 from lukaszstolarczuk/merge-v0.10.x-into-main #4868

Fast builds  /  Fast builds (ubuntu-latest, OFF, OFF, -DCMAKE_BUILD_TYPE=Release -DUMF_BUILD_BENCHMARKS=ON, OFF)

succeeded Jan 15, 2025 in 2m 12s