[INFO] fetching crate lean-sys 0.0.7...
[INFO] checking lean-sys-0.0.7 against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] extracting crate lean-sys 0.0.7 into /workspace/builds/worker-0-tc2/source
[INFO] checking lean-sys-0.0.7 against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] extracting crate lean-sys 0.0.7 into /workspace/builds/worker-0-tc2/source
[INFO] checking lean-sys-0.0.7 against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] extracting crate lean-sys 0.0.7 into /workspace/builds/worker-0-tc2/source
[INFO] checking lean-sys-0.0.7 against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] extracting crate lean-sys 0.0.7 into /workspace/builds/worker-0-tc2/source
[INFO] checking lean-sys-0.0.7 against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] extracting crate lean-sys 0.0.7 into /workspace/builds/worker-0-tc2/source


Os { code: 28, kind: StorageFull, message: "No space left on device" }

unable to download lean-sys version 0.0.7