Fix typo in configuration option name #447
Merged
Cirrus CI / ubuntu24
succeeded
Feb 9, 2025 in 3m 25s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:10 sync_submodules
✅ 02:37 build
✅ 00:34 test
✔️ 00:00 upload_btest_tmp_dir
Loading