[INFO] cloning repository jorpic/tla-ui
[INFO] running `"git" "clone" "--bare" "git://github.com/jorpic/tla-ui.git" "work/cache/sources/gh/jorpic/tla-ui"`
[INFO] [stderr] Cloning into bare repository 'work/cache/sources/gh/jorpic/tla-ui'...
[INFO] running `"git" "clone" "work/cache/sources/gh/jorpic/tla-ui" "work/ex/pr-62133/sources/master#5f9c0448dde167128d668da4555879f64e56af1d/gh/jorpic/tla-ui"`
[INFO] [stderr] Cloning into 'work/ex/pr-62133/sources/master#5f9c0448dde167128d668da4555879f64e56af1d/gh/jorpic/tla-ui'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/jorpic/tla-ui" "work/ex/pr-62133/sources/try#8ec8125bea94852768b56958f05da47666c21ab0/gh/jorpic/tla-ui"`
[INFO] [stderr] Cloning into 'work/ex/pr-62133/sources/try#8ec8125bea94852768b56958f05da47666c21ab0/gh/jorpic/tla-ui'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] fc796386d1d98f4fd5436cd22348e25cee91d341
[INFO] sha for GitHub repo jorpic/tla-ui: fc796386d1d98f4fd5436cd22348e25cee91d341
[INFO] validating manifest of jorpic/tla-ui on toolchain master#5f9c0448dde167128d668da4555879f64e56af1d
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+5f9c0448dde167128d668da4555879f64e56af1d-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[ERROR] this task or one of its parent failed!
[ERROR] overridden task result to broken:cargo-toml
[ERROR] caused by: invalid syntax in jorpic/tla-ui's Cargo.toml
[ERROR] caused by: command `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+5f9c0448dde167128d668da4555879f64e56af1d-alt" "read-manifest" "--manifest-path" "Cargo.toml"` failed
[ERROR]