ci: free runner disk before the default-lane build #20

Job	Run time
Default lane (2026-07-28)	4m 38s
Spec mutex (both features must not compile)	24s
Rustdoc (deny warnings)	58s
Opt-in lane (2025-11-25)	5m 8s
	11m 8s

Provide feedback