Avoid pointer casts in IO driver on miri #6859
Merged
Cirrus CI / FreeBSD 64-bit
succeeded
Sep 22, 2024 in 6m 56s
Task Summary
Task successfully finished!
Details
ℹ️ Scheduling was delayed due to a concurrency limit on community tasks
✅ 00:03 clone
✅ 00:11 setup
✅ 06:39 test
Loading