[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] [stderr] fatal: write error: No space left on device [INFO] [stderr] fatal: fetch-pack: invalid index-pack output [WARN] Retrying crate fetch in 3 seconds (attempt 1) [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'... [ERROR] error running command: no output for 300 seconds [WARN] Retrying crate fetch in 3 seconds (attempt 2) [INFO] updating cached 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" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune", kill_on_drop: false }` [INFO] [stderr] From https://github.com/viperproject/prusti-dev [INFO] [stderr] * [new branch] aarch64-darwin -> aarch64-darwin [INFO] [stderr] * [new branch] assign-backlog -> assign-backlog [INFO] [stderr] * [new branch] auto-fixes-2022-06-15 -> auto-fixes-2022-06-15 [INFO] [stderr] * [new branch] auto-fixes-2022-07-01 -> auto-fixes-2022-07-01 [INFO] [stderr] * [new branch] auto-fixes-2022-07-15 -> auto-fixes-2022-07-15 [INFO] [stderr] * [new branch] auto-fixes-2022-08-01 -> auto-fixes-2022-08-01 [INFO] [stderr] * [new branch] auto-fixes-2022-08-15 -> auto-fixes-2022-08-15 [INFO] [stderr] * [new branch] auto-fixes-2022-09-01 -> auto-fixes-2022-09-01 [INFO] [stderr] * [new branch] auto-fixes-2022-09-15 -> auto-fixes-2022-09-15 [INFO] [stderr] * [new branch] auto-update-nightly-2022-09-01 -> auto-update-nightly-2022-09-01 [INFO] [stderr] * [new branch] auto-update-nightly-2022-10-01 -> auto-update-nightly-2022-10-01 [INFO] [stderr] * [new branch] auto-update-nightly-2022-12-01 -> auto-update-nightly-2022-12-01 [INFO] [stderr] * [new branch] auto-update-nightly-2022-12-05 -> auto-update-nightly-2022-12-05 [INFO] [stderr] * [new branch] auto-update-nightly-2023-02-15 -> auto-update-nightly-2023-02-15 [INFO] [stderr] * [new branch] auto-update-nightly-2023-04-15 -> auto-update-nightly-2023-04-15 [INFO] [stderr] * [new branch] auto-update-nightly-2023-05-01 -> auto-update-nightly-2023-05-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-05-15 -> auto-update-nightly-2023-05-15 [INFO] [stderr] * [new branch] auto-update-nightly-2023-06-01 -> auto-update-nightly-2023-06-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-07-01 -> auto-update-nightly-2023-07-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-08-01 -> auto-update-nightly-2023-08-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-10-01 -> auto-update-nightly-2023-10-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-10-15 -> auto-update-nightly-2023-10-15 [INFO] [stderr] * [new branch] auto-update-nightly-2023-11-01 -> auto-update-nightly-2023-11-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-12-01 -> auto-update-nightly-2023-12-01 [INFO] [stderr] * [new branch] auto-update-nightly-2023-12-15 -> auto-update-nightly-2023-12-15 [INFO] [stderr] * [new branch] auto-update-nightly-2024-01-01 -> auto-update-nightly-2024-01-01 [INFO] [stderr] * [new branch] auto-update-nightly-2024-01-15 -> auto-update-nightly-2024-01-15 [INFO] [stderr] * [new branch] backport-mathematical-types -> backport-mathematical-types [INFO] [stderr] * [new branch] benchmark-comparison -> benchmark-comparison [INFO] [stderr] * [new branch] change-resolve-method-call -> change-resolve-method-call [INFO] [stderr] * [new branch] closure-reference-types-unsupported -> closure-reference-types-unsupported [INFO] [stderr] * [new branch] closures-before-rebase -> closures-before-rebase [INFO] [stderr] * [new branch] coupling-graph-engine -> coupling-graph-engine [INFO] [stderr] * [new branch] debug-jonas -> debug-jonas [INFO] [stderr] * [new branch] disable-automatic-function-triggering -> disable-automatic-function-triggering [INFO] [stderr] * [new branch] disable-more-complete-exhale -> disable-more-complete-exhale [INFO] [stderr] * [new branch] dump-tests-viper -> dump-tests-viper [INFO] [stderr] * [new branch] encode-pure-into-vir-high -> encode-pure-into-vir-high [INFO] [stderr] * [new branch] encoder-interface -> encoder-interface [INFO] [stderr] * [new branch] enforce-no-unwrap -> enforce-no-unwrap [INFO] [stderr] * [new branch] enum_body_optimization-test -> enum_body_optimization-test [INFO] [stderr] * [new branch] fix-closure-fields-experiment -> fix-closure-fields-experiment [INFO] [stderr] * [new branch] fix-issue-389 -> fix-issue-389 [INFO] [stderr] * [new branch] fix-purification -> fix-purification [INFO] [stderr] * [new branch] fix-rosetta-binary-search -> fix-rosetta-binary-search [INFO] [stderr] * [new branch] fix-variants-bug -> fix-variants-bug [INFO] [stderr] * [new branch] fix-windows-ci -> fix-windows-ci [INFO] [stderr] * [new branch] floating-point-numbers -> floating-point-numbers [INFO] [stderr] * [new branch] floats-interview -> floats-interview [INFO] [stderr] * [new branch] fpoli-no-more-complete-exhale -> fpoli-no-more-complete-exhale [INFO] [stderr] * [new branch] fpoli-patch-1 -> fpoli-patch-1 [INFO] [stderr] * [new branch] fpoli-patch-2 -> fpoli-patch-2 [INFO] [stderr] * [new branch] fpoli-patch-3 -> fpoli-patch-3 [INFO] [stderr] * [new branch] fpoli-snapshots -> fpoli-snapshots [INFO] [stderr] * [new branch] free-pcs -> free-pcs [INFO] [stderr] * [new branch] free-pcs-engine -> free-pcs-engine [INFO] [stderr] * [new branch] free-pcs-notepad -> free-pcs-notepad [INFO] [stderr] * [new branch] gh-pages -> gh-pages [INFO] [stderr] * [new branch] gh-pages-base -> gh-pages-base [INFO] [stderr] * [new branch] gh-pages-src -> gh-pages-src [INFO] [stderr] * [new branch] improve-test-crates -> improve-test-crates [INFO] [stderr] * [new branch] lifetimes -> lifetimes [INFO] [stderr] * [new branch] loops -> loops [INFO] [stderr] * [new branch] main -> main [INFO] [stderr] * [new branch] master -> master [INFO] [stderr] * [new branch] new-pcs-15' -> new-pcs-15' [INFO] [stderr] * [new branch] old-benchmarks -> old-benchmarks [INFO] [stderr] * [new branch] opendp-old -> opendp-old [INFO] [stderr] * [new branch] optimizations -> optimizations [INFO] [stderr] * [new branch] prusti-pcs-update -> prusti-pcs-update [INFO] [stderr] * [new branch] prusti-presentation -> prusti-presentation [INFO] [stderr] * [new branch] refactoring -> refactoring [INFO] [stderr] * [new branch] refactoring-backup-2024-01-12 -> refactoring-backup-2024-01-12 [INFO] [stderr] * [new branch] refactoring2 -> refactoring2 [INFO] [stderr] * [new branch] refactoring5 -> refactoring5 [INFO] [stderr] * [new branch] refactorings -> refactorings [INFO] [stderr] * [new branch] references -> references [INFO] [stderr] * [new branch] refs-impure -> refs-impure [INFO] [stderr] * [new branch] remove-addr-of -> remove-addr-of [INFO] [stderr] * [new branch] remove-polonius-hack -> remove-polonius-hack [INFO] [stderr] * [new branch] rustc-2018-06-07 -> rustc-2018-06-07 [INFO] [stderr] * [new branch] rustc-update-global-proc-macro -> rustc-update-global-proc-macro [INFO] [stderr] * [new branch] rustfmt-contracts-specs -> rustfmt-contracts-specs [INFO] [stderr] * [new branch] sequences-maps -> sequences-maps [INFO] [stderr] * [new branch] sequences-maps-v3 -> sequences-maps-v3 [INFO] [stderr] * [new branch] shared-ref -> shared-ref [INFO] [stderr] * [new branch] simplify-interpreter -> simplify-interpreter [INFO] [stderr] * [new branch] squash-gh-pages -> squash-gh-pages [INFO] [stderr] * [new branch] staging -> staging [INFO] [stderr] * [new branch] test -> test [INFO] [stderr] * [new branch] test-viper-release -> test-viper-release [INFO] [stderr] * [new branch] tests-from-rust-horn -> tests-from-rust-horn [INFO] [stderr] * [new branch] try-duchess -> try-duchess [INFO] [stderr] * [new branch] try-lto -> try-lto [INFO] [stderr] * [new branch] trying -> trying [INFO] [stderr] * [new branch] update-rust-toolchain -> update-rust-toolchain [INFO] [stderr] * [new branch] update-toolchain -> update-toolchain [INFO] [stderr] * [new branch] versioning -> versioning [INFO] [stderr] * [new branch] zgrannan/pcs -> zgrannan/pcs [INFO] [stderr] * [new branch] zgrannan/pure-forward -> zgrannan/pure-forward [INFO] [stderr] * [new branch] zgrannan/pure-rewrite -> zgrannan/pure-rewrite [INFO] [stderr] * [new branch] zgrannan/resources -> zgrannan/resources [INFO] [stderr] * [new tag] coupling-graph-experimentation -> coupling-graph-experimentation [INFO] [stderr] * [new tag] v-2020-07-27-1200 -> v-2020-07-27-1200 [INFO] [stderr] * [new tag] v-2021-03-01-1237 -> v-2021-03-01-1237 [INFO] [stderr] * [new tag] v-2021-09-22-1237 -> v-2021-09-22-1237 [INFO] [stderr] * [new tag] v-2021-11-22-1738 -> v-2021-11-22-1738 [INFO] [stderr] * [new tag] v-2022-10-05-0726 -> v-2022-10-05-0726 [INFO] [stderr] * [new tag] v-2023-01-26-1935 -> v-2023-01-26-1935 [INFO] [stderr] * [new tag] v-2023-06-30-1042 -> v-2023-06-30-1042 [INFO] [stderr] * [new tag] v-2023-08-22-1715 -> v-2023-08-22-1715 [INFO] [stderr] * [new tag] v-2024-02-28-1817 -> v-2024-02-28-1817 [INFO] [stderr] * [new tag] v-2024-02-29-1740 -> v-2024-02-29-1740 [INFO] [stderr] * [new tag] v-2024-03-01-2000 -> v-2024-03-01-2000 [INFO] [stderr] * [new tag] v-2024-03-01-2003 -> v-2024-03-01-2003 [INFO] [stderr] * [new tag] v-2024-03-06-1207 -> v-2024-03-06-1207 [INFO] [stderr] * [new tag] v-2024-03-26-1504 -> v-2024-03-26-1504 [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0d4a8d497ac1e540d48ef50a031d53b4e3ae36e2 [INFO] checking viperproject/prusti-dev against master#75530e9f72a1990ed2305e16fd51d02f47048f12 for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/viperproject/prusti-dev on toolchain 75530e9f72a1990ed2305e16fd51d02f47048f12 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+75530e9f72a1990ed2305e16fd51d02f47048f12" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-7-tc1/source/.cargo/config.toml [INFO] removed /workspace/builds/worker-7-tc1/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-7-tc1/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: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+75530e9f72a1990ed2305e16fd51d02f47048f12" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] error: failed to load manifest for workspace member `/workspace/builds/worker-7-tc1/source/prusti-contracts-build` [INFO] [stderr] referenced by workspace at `/workspace/builds/worker-7-tc1/source/Cargo.toml` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse manifest at `/workspace/builds/worker-7-tc1/source/prusti-contracts-build/Cargo.toml` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] `artifact = …` requires `-Z bindeps` (prusti) command failed: exit status: 101 error: failed to load manifest for workspace member `/workspace/builds/worker-7-tc1/source/prusti-contracts-build` referenced by workspace at `/workspace/builds/worker-7-tc1/source/Cargo.toml` Caused by: failed to parse manifest at `/workspace/builds/worker-7-tc1/source/prusti-contracts-build/Cargo.toml` Caused by: `artifact = …` requires `-Z bindeps` (prusti)