use a local git+file pin #285
Merged
Cirrus CI / freebsd_router
succeeded
Oct 21, 2024 in 19m 15s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:35 pkg_install
✅ 08:13 ocaml
✅ 02:53 mirage
✅ 00:01 configure
✅ 05:30 depend
✅ 01:57 build
✅ 00:00 router
Loading