avoid global buffers #219
Merged
avoid global buffers #219
Cirrus CI / freebsd_eio
succeeded
Mar 19, 2024 in 10m 13s
Task Summary
Task successfully finished!
Details
✅ 00:02 clone
✅ 00:23 pkg_install
✅ 07:21 ocaml
✅ 02:17 pin_packages
✅ 00:06 test
Loading