[INFO] fetching crate rodin 0.0.0...
[INFO] checking rodin-0.0.0 against master#e43d139a82620a268d3828a73e12a8679339e8f8 for pr-143545
[INFO] extracting crate rodin 0.0.0 into /workspace/builds/worker-6-tc1/source


unable to download rodin version 0.0.0

Caused by:
    unexpected end of file