Various small refactorings / tweaks #3428
Merged
Cirrus CI / freebsd_build
succeeded
Oct 25, 2023 in 16m 7s
Task Summary
Task successfully finished!
Details
✅ 00:51 clone
✅ 01:17 install
✅ 00:36 init_git_submodules
✅ 01:04 configure_release
✅ 12:15 build_release
Loading