ci: split miri jobs into unit and integration tests #7071
+31
−6
Merged
Cirrus CI / FreeBSD 32-bit
succeeded
Jan 6, 2025 in 4m 41s
Task Summary
Task successfully finished!
Details
✅ 00:03 clone
✅ 00:13 setup
✅ 04:22 test
Loading