[INFO] fetching crate why3 0.3.0...
[INFO] testing why3-0.3.0 against beta-2025-01-12 for beta-1.85-1
[INFO] extracting crate why3 0.3.0 into /workspace/builds/worker-6-tc2/source
[INFO] testing why3-0.3.0 against beta-2025-01-12 for beta-1.85-1
[INFO] extracting crate why3 0.3.0 into /workspace/builds/worker-6-tc2/source
[INFO] testing why3-0.3.0 against beta-2025-01-12 for beta-1.85-1
[INFO] extracting crate why3 0.3.0 into /workspace/builds/worker-6-tc2/source
[INFO] testing why3-0.3.0 against beta-2025-01-12 for beta-1.85-1
[INFO] extracting crate why3 0.3.0 into /workspace/builds/worker-6-tc2/source
[INFO] testing why3-0.3.0 against beta-2025-01-12 for beta-1.85-1
[INFO] extracting crate why3 0.3.0 into /workspace/builds/worker-6-tc2/source


unable to download why3 version 0.3.0

Caused by:
    No space left on device (os error 28)