No space left on device

Stream: mathlib4

[Martin Dvořák]

Error: No space left on device : '/home/lean/actions-runner/_work/_actions/dcarbone/install-jq-action/v1.0.1'
https://github.com/leanprover-community/mathlib4/actions/runs/6824151657/job/18559468177

[Alex Keizer]

Also: https://github.com/leanprover-community/mathlib4/actions/runs/6824294875/job/18560488314, same error

[Scott Morrison]

Hopefully all cleaned up now. Thanks for the reports!

[Yaël Dillies]

See https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/No.20space.20left.20on.20device