flush after ungrabbing server #403
Merged
Cirrus CI / debian-unstable-tcc
succeeded
Mar 4, 2025 in 57s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:47 install
✅ 00:05 build
✅ 00:01 test
✔️ 00:00 autotools
Loading