[INFO] fetching crate rodin 0.0.0...
[INFO] checking rodin-0.0.0 against master#092a284ba0421695f2032c947765429fd7095796 for pr-139763
[INFO] extracting crate rodin 0.0.0 into /workspace/builds/worker-3-tc1/source


unable to download rodin version 0.0.0

Caused by:
    unexpected end of file