flush after ungrabbing server #403
Merged
Cirrus CI / debian-unstable-clang
succeeded
Mar 4, 2025 in 1m 23s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 01:10 install
✅ 00:08 build
✅ 00:01 test
✔️ 00:00 autotools
Loading