[INFO] fetching crate prusti-std 0.2.0...
[INFO] checking prusti-std-0.2.0 against master#69fd5e4059f8840f09f60269bcda23dcdcb77151 for pr-135733
[INFO] extracting crate prusti-std 0.2.0 into /workspace/builds/worker-1-tc1/source


unable to download prusti-std version 0.2.0

Caused by:
    unexpected end of file