Add SKIP_ORF option in translated_search #885
Merged
Cirrus CI / GCC-4.9
succeeded
Sep 30, 2024 in 2m 10s
Task Summary
Task successfully finished!
Details
✅ 00:08 clone
✅ 00:25 install
✅ 01:23 compile
✅ 00:11 test
Loading