[INFO] cloning repository https://github.com/determi-io/eval-agda
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/determi-io/eval-agda" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdetermi-io%2Feval-agda", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdetermi-io%2Feval-agda'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 56b02e8bd896de0775064b0089ff5c3b2c8e4dcb
[INFO] testing determi-io/eval-agda against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdetermi-io%2Feval-agda" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/determi-io/eval-agda
[INFO] finished tweaking git repo https://github.com/determi-io/eval-agda
[INFO] tweaked toml for git repo https://github.com/determi-io/eval-agda written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/determi-io/eval-agda on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/determi-io/eval-agda 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded thiserror-impl v1.0.49
[INFO] [stderr]   Downloaded os_pipe v1.1.4
[INFO] [stderr]   Downloaded snailquote v0.3.1
[INFO] [stderr]   Downloaded proc-macro2 v1.0.68
[INFO] [stderr]   Downloaded interactive_process v0.1.3
[INFO] [stderr]   Downloaded thiserror v1.0.49
[INFO] [stderr]   Downloaded aho-corasick v1.1.1
[INFO] [stderr]   Downloaded regex-automata v0.3.9
[INFO] [stderr]   Downloaded regex v1.9.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 94650754e85c95eec3248e7c87a73b1aba847cb6b966a013bf59dd30b59c183e
[INFO] running `Command { std: "docker" "start" "-a" "94650754e85c95eec3248e7c87a73b1aba847cb6b966a013bf59dd30b59c183e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "94650754e85c95eec3248e7c87a73b1aba847cb6b966a013bf59dd30b59c183e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "94650754e85c95eec3248e7c87a73b1aba847cb6b966a013bf59dd30b59c183e", kill_on_drop: false }`
[INFO] [stdout] 94650754e85c95eec3248e7c87a73b1aba847cb6b966a013bf59dd30b59c183e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "RUSTDOCFLAGS=--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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c51b7fc690a1551fd10720c29e79cf6cbdf1b1ec5f6e3583e86f95f2d4a1f924
[INFO] running `Command { std: "docker" "start" "-a" "c51b7fc690a1551fd10720c29e79cf6cbdf1b1ec5f6e3583e86f95f2d4a1f924", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.68
[INFO] [stderr]    Compiling libc v0.2.148
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling serde v1.0.188
[INFO] [stderr]    Compiling thiserror v1.0.49
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling anyhow v1.0.75
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling ryu v1.0.15
[INFO] [stderr]    Compiling itoa v1.0.9
[INFO] [stderr]    Compiling unicode_categories v0.1.1
[INFO] [stderr]    Compiling interactive_process v0.1.3
[INFO] [stderr]    Compiling aho-corasick v1.1.1
[INFO] [stderr]    Compiling os_pipe v1.1.4
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling regex-automata v0.3.9
[INFO] [stderr]    Compiling thiserror-impl v1.0.49
[INFO] [stderr]    Compiling snailquote v0.3.1
[INFO] [stderr]    Compiling regex v1.9.6
[INFO] [stderr]    Compiling quick-start v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: environment variable `DETERMI_NIX_AGDA_PATH` not defined at compile time
[INFO] [stdout]  --> src/agda.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub static AGDA: &'static str = env!("DETERMI_NIX_AGDA_PATH");
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: use `std::env::var("DETERMI_NIX_AGDA_PATH")` to read the variable at run time
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AgdaCommand`
[INFO] [stdout]  --> src/main.rs:4:86
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::agda::interaction::{AgdaInteraction, command::{instance::AgdaCommandLoad, AgdaCommand}};
[INFO] [stdout]   |                                                                                      ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/agda/interaction.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |         for i in 0..60
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `quick-start` (bin "quick-start") due to 1 previous error; 2 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "c51b7fc690a1551fd10720c29e79cf6cbdf1b1ec5f6e3583e86f95f2d4a1f924", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c51b7fc690a1551fd10720c29e79cf6cbdf1b1ec5f6e3583e86f95f2d4a1f924", kill_on_drop: false }`
[INFO] [stdout] c51b7fc690a1551fd10720c29e79cf6cbdf1b1ec5f6e3583e86f95f2d4a1f924