[INFO] fetching crate smt2patch 0.1.1...
[INFO] checking smt2patch-0.1.1 against master#19f42cb9bb65555e7d95dab7d17573ae6c5d634c for pr-139087
[INFO] extracting crate smt2patch 0.1.1 into /workspace/builds/worker-1-tc1/source


unable to download smt2patch version 0.1.1

Caused by:
    unexpected end of file