[INFO] cloning repository https://github.com/viperproject/prusti-dev
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/viperproject/prusti-dev" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7cf5b4876ee8ddfad8081845a80dee50cc54747e
[INFO] checking viperproject/prusti-dev against try#cac44d9528e3bbbdaa1537d187bd489ccc5de18c for pr-91141
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev" "/workspace/builds/worker-76/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-76/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:   9% (168/1791)
Updating files:  10% (180/1791)
Updating files:  11% (198/1791)
Updating files:  12% (215/1791)
Updating files:  13% (233/1791)
Updating files:  14% (251/1791)
Updating files:  15% (269/1791)
Updating files:  16% (287/1791)
Updating files:  17% (305/1791)
Updating files:  18% (323/1791)
Updating files:  19% (341/1791)
Updating files:  20% (359/1791)
Updating files:  21% (377/1791)
Updating files:  22% (395/1791)
Updating files:  23% (412/1791)
Updating files:  24% (430/1791)
Updating files:  25% (448/1791)
Updating files:  26% (466/1791)
Updating files:  27% (484/1791)
Updating files:  28% (502/1791)
Updating files:  29% (520/1791)
Updating files:  30% (538/1791)
Updating files:  31% (556/1791)
Updating files:  32% (574/1791)
Updating files:  33% (592/1791)
Updating files:  34% (609/1791)
Updating files:  35% (627/1791)
Updating files:  36% (645/1791)
Updating files:  37% (663/1791)
Updating files:  38% (681/1791)
Updating files:  39% (699/1791)
Updating files:  40% (717/1791)
Updating files:  41% (735/1791)
Updating files:  42% (753/1791)
Updating files:  43% (771/1791)
Updating files:  44% (789/1791)
Updating files:  45% (806/1791)
Updating files:  46% (824/1791)
Updating files:  47% (842/1791)
Updating files:  48% (860/1791)
Updating files:  49% (878/1791)
Updating files:  50% (896/1791)
Updating files:  51% (914/1791)
Updating files:  52% (932/1791)
Updating files:  53% (950/1791)
Updating files:  54% (968/1791)
Updating files:  55% (986/1791)
Updating files:  56% (1003/1791)
Updating files:  56% (1018/1791)
Updating files:  57% (1021/1791)
Updating files:  58% (1039/1791)
Updating files:  59% (1057/1791)
Updating files:  60% (1075/1791)
Updating files:  61% (1093/1791)
Updating files:  62% (1111/1791)
Updating files:  63% (1129/1791)
Updating files:  64% (1147/1791)
Updating files:  65% (1165/1791)
Updating files:  66% (1183/1791)
Updating files:  67% (1200/1791)
Updating files:  68% (1218/1791)
Updating files:  69% (1236/1791)
Updating files:  70% (1254/1791)
Updating files:  71% (1272/1791)
Updating files:  72% (1290/1791)
Updating files:  73% (1308/1791)
Updating files:  74% (1326/1791)
Updating files:  75% (1344/1791)
Updating files:  76% (1362/1791)
Updating files:  77% (1380/1791)
Updating files:  78% (1397/1791)
Updating files:  79% (1415/1791)
Updating files:  80% (1433/1791)
Updating files:  81% (1451/1791)
Updating files:  82% (1469/1791)
Updating files:  83% (1487/1791)
Updating files:  84% (1505/1791)
Updating files:  85% (1523/1791)
Updating files:  86% (1541/1791)
Updating files:  87% (1559/1791)
Updating files:  88% (1577/1791)
Updating files:  89% (1594/1791)
Updating files:  90% (1612/1791)
Updating files:  91% (1630/1791)
Updating files:  92% (1648/1791)
Updating files:  93% (1666/1791)
Updating files:  94% (1684/1791)
Updating files:  95% (1702/1791)
Updating files:  96% (1720/1791)
Updating files:  97% (1738/1791)
Updating files:  98% (1756/1791)
Updating files:  99% (1774/1791)
Updating files: 100% (1791/1791)
Updating files: 100% (1791/1791), done.
[INFO] validating manifest of git repo https://github.com/viperproject/prusti-dev on toolchain cac44d9528e3bbbdaa1537d187bd489ccc5de18c
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+cac44d9528e3bbbdaa1537d187bd489ccc5de18c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-76/source/.cargo/config
[INFO] removed /workspace/builds/worker-76/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/viperproject/prusti-dev
[INFO] finished tweaking git repo https://github.com/viperproject/prusti-dev
[INFO] tweaked toml for git repo https://github.com/viperproject/prusti-dev written to /workspace/builds/worker-76/source/Cargo.toml
[INFO] crate git repo https://github.com/viperproject/prusti-dev already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+cac44d9528e3bbbdaa1537d187bd489ccc5de18c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating git repository `https://github.com/rust-lang/cargo.git`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded datafrog v2.0.1
[INFO] [stderr]   Downloaded ureq v2.3.0
[INFO] [stderr]   Downloaded trybuild v1.0.52
[INFO] [stderr]   Downloaded index_vec v0.1.3
[INFO] [stderr]   Downloaded remove_dir_all v0.7.0
[INFO] [stderr]   Downloaded compiletest_rs v0.7.1
[INFO] [stderr]   Downloaded ctrlc v3.2.1
[INFO] [stderr]   Downloaded tester v0.9.0
[INFO] [stderr]   Downloaded rustwide v0.14.0
[INFO] [stderr]   Downloaded git2 v0.13.23
[INFO] [stderr]   Downloaded libgit2-sys v0.12.24+1.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-76/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-76/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+cac44d9528e3bbbdaa1537d187bd489ccc5de18c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 304dedd951c4cf1bb9d69d5d72b5d50c917881e3a10f16f450a9acdb80391594
[INFO] running `Command { std: "docker" "start" "-a" "304dedd951c4cf1bb9d69d5d72b5d50c917881e3a10f16f450a9acdb80391594", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "304dedd951c4cf1bb9d69d5d72b5d50c917881e3a10f16f450a9acdb80391594", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "304dedd951c4cf1bb9d69d5d72b5d50c917881e3a10f16f450a9acdb80391594", kill_on_drop: false }`
[INFO] [stdout] 304dedd951c4cf1bb9d69d5d72b5d50c917881e3a10f16f450a9acdb80391594
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-76/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-76/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+cac44d9528e3bbbdaa1537d187bd489ccc5de18c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b93dd42890709a9919a3485e42c7e528c1e41974b083b0bb83fc1242cd470a5d
[INFO] running `Command { std: "docker" "start" "-a" "b93dd42890709a9919a3485e42c7e528c1e41974b083b0bb83fc1242cd470a5d", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: prusti-tests v0.2.0 (/opt/rustwide/workdir/prusti-tests) ignoring invalid dependency `prusti` which is missing a lib target
[INFO] [stderr] warning: test-crates v0.1.0 (/opt/rustwide/workdir/test-crates) ignoring invalid dependency `prusti` which is missing a lib target
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.106
[INFO] [stderr]    Compiling proc-macro2 v1.0.32
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling syn v1.0.81
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling serde_derive v1.0.130
[INFO] [stderr]    Compiling serde v1.0.130
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking bytes v1.1.0
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling serde_json v1.0.69
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]     Checking termcolor v1.1.2
[INFO] [stderr]    Compiling spin v0.5.2
[INFO] [stderr]    Compiling once_cell v1.8.0
[INFO] [stderr]    Compiling untrusted v0.7.1
[INFO] [stderr]     Checking gimli v0.26.1
[INFO] [stderr]    Compiling pkg-config v0.3.22
[INFO] [stderr]     Checking rustc-demangle v0.1.21
[INFO] [stderr]    Compiling tinyvec_macros v0.1.0
[INFO] [stderr]    Compiling matches v0.1.9
[INFO] [stderr]    Compiling percent-encoding v2.1.0
[INFO] [stderr]    Compiling unicode-bidi v0.3.7
[INFO] [stderr]    Compiling jni-sys v0.3.0
[INFO] [stderr]    Compiling cesu8 v1.1.0
[INFO] [stderr]    Compiling base64 v0.13.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling remove_dir_all v0.5.3
[INFO] [stderr]    Compiling chunked_transfer v1.4.0
[INFO] [stderr]    Compiling futures-core v0.3.17
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking slab v0.4.5
[INFO] [stderr]     Checking pin-project-lite v0.2.7
[INFO] [stderr]     Checking ppv-lite86 v0.2.15
[INFO] [stderr]    Compiling proc-macro-hack v0.5.19
[INFO] [stderr]     Checking foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling openssl v0.10.38
[INFO] [stderr]     Checking futures-sink v0.3.17
[INFO] [stderr]    Compiling futures-task v0.3.17
[INFO] [stderr]    Compiling proc-macro-nested v0.1.7
[INFO] [stderr]     Checking bytes v0.5.6
[INFO] [stderr]     Checking pin-utils v0.1.0
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling typenum v1.14.0
[INFO] [stderr]     Checking openssl-probe v0.1.4
[INFO] [stderr]    Compiling httparse v1.5.1
[INFO] [stderr]    Compiling native-tls v0.2.8
[INFO] [stderr]     Checking pin-project-lite v0.1.12
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]    Compiling lexical-core v0.7.6
[INFO] [stderr]     Checking prusti-utils v0.1.0 (/opt/rustwide/workdir/prusti-utils)
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]    Compiling futures-channel v0.3.17
[INFO] [stderr]     Checking arrayvec v0.5.2
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking linked-hash-map v0.5.4
[INFO] [stderr]     Checking serde v0.8.23
[INFO] [stderr]     Checking opaque-debug v0.3.0
[INFO] [stderr]     Checking mime v0.3.16
[INFO] [stderr]     Checking rust-ini v0.13.0
[INFO] [stderr]     Checking try-lock v0.2.3
[INFO] [stderr]    Compiling pin-project-internal v0.4.28
[INFO] [stderr]     Checking cpufeatures v0.2.1
[INFO] [stderr]     Checking httpdate v0.3.2
[INFO] [stderr]     Checking tower-service v0.3.1
[INFO] [stderr]     Checking base64 v0.12.3
[INFO] [stderr]     Checking safemem v0.3.3
[INFO] [stderr]    Compiling encoding_rs v0.8.29
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking utf-8 v0.7.6
[INFO] [stderr]     Checking httpdate v1.0.1
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking futures-io v0.3.17
[INFO] [stderr]     Checking dtoa v0.4.8
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ipnet v2.3.1
[INFO] [stderr]     Checking urlencoding v1.3.3
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking glob v0.3.0
[INFO] [stderr]     Checking scoped-tls v1.0.0
[INFO] [stderr]    Compiling anyhow v1.0.45
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]     Checking bencher v0.1.5
[INFO] [stderr]    Compiling compiletest_rs v0.7.1
[INFO] [stderr]     Checking datafrog v2.0.1
[INFO] [stderr]    Compiling failure_derive v0.1.8
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking diff v0.1.12
[INFO] [stderr]    Compiling prusti-contracts-impl v0.1.0 (/opt/rustwide/workdir/prusti-contracts-impl)
[INFO] [stderr]     Checking hex v0.3.2
[INFO] [stderr]    Compiling cargo-test-support v0.1.0 (https://github.com/rust-lang/cargo.git#b4ab730c)
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]    Compiling trybuild v1.0.52
[INFO] [stderr]     Checking shell-escape v0.1.5
[INFO] [stderr]    Compiling rustwide v0.14.0
[INFO] [stderr]     Checking wildmatch v1.1.0
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]    Compiling cargo-test-macro v0.1.0 (https://github.com/rust-lang/cargo.git#b4ab730c)
[INFO] [stderr] error: could not compile `regex-syntax`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name regex_syntax --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/regex-syntax-0.6.25/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="unicode"' --cfg 'feature="unicode-age"' --cfg 'feature="unicode-bool"' --cfg 'feature="unicode-case"' --cfg 'feature="unicode-gencat"' --cfg 'feature="unicode-perl"' --cfg 'feature="unicode-script"' --cfg 'feature="unicode-segment"' -C metadata=c25dc19d7487cdf7 -C extra-filename=-c25dc19d7487cdf7 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "b93dd42890709a9919a3485e42c7e528c1e41974b083b0bb83fc1242cd470a5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b93dd42890709a9919a3485e42c7e528c1e41974b083b0bb83fc1242cd470a5d", kill_on_drop: false }`
[INFO] [stdout] b93dd42890709a9919a3485e42c7e528c1e41974b083b0bb83fc1242cd470a5d