flush after ungrabbing server #403
Merged
Cirrus CI / debian-unstable-gcc
succeeded
Mar 4, 2025 in 1m 0s
Task Summary
Task successfully finished!
Details
ℹ️ Scheduling was delayed due to a concurrency limit on community tasks
✅ 00:01 clone
✅ 00:48 install
✅ 00:07 build
✅ 00:01 test
✔️ 00:00 autotools
Loading