Add roaring64 to amalgamation script #545
Merged
Cirrus CI / main
succeeded
Jan 9, 2024 in 4m 25s
Task Summary
Task successfully finished!
Details
✅ 00:06 clone
✅ 01:08 setup
✅ 00:50 build
✅ 02:18 test
Loading