libverify-github 0.12.0

GitHub connector for libverify SDLC verification
Documentation

Build #3121501 2026-04-10 07:34:53

# rustc version rustc 1.96.0-nightly (f5eca4fcf 2026-04-09)

# docs.rs version docsrs 0.0.0 (15f7e1e9dfac4fc5b7cc4abfd7682239002ba909 2026-04-08 )

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder4/builds/libverify-github-0.12.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder4/builds/libverify-github-0.12.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "6442450944" "--cpuset-cpus" "20-23" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "sleep" "infinity", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244 [INFO] running `Command { std: "docker" "start" "3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260409-1.96.0-nightly-f5eca4fcf\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/aarch64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j4" "--target" "aarch64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Compiling regorus-mimalloc-sys v2.2.6 [INFO] [stderr] Checking crypto-bigint v0.5.5 [INFO] [stderr] Checking hybrid-array v0.4.10 [INFO] [stderr] Checking outref v0.5.2 [INFO] [stderr] warning: regorus-mimalloc-sys@2.2.6: Compiler family detection failed due to error: ToolNotFound: failed to find tool "aarch64-linux-gnu-gcc": No such file or directory (os error 2) [INFO] [stderr] error: failed to run custom build command for `regorus-mimalloc-sys v2.2.6` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/regorus-mimalloc-sys-0fe709334583c666/build-script-build` (exit status: 1) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-env-changed=CC_aarch64-unknown-linux-gnu [INFO] [stderr] CC_aarch64-unknown-linux-gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=CC_aarch64_unknown_linux_gnu [INFO] [stderr] CC_aarch64_unknown_linux_gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=TARGET_CC [INFO] [stderr] TARGET_CC = None [INFO] [stderr] cargo:rerun-if-env-changed=CC [INFO] [stderr] CC = None [INFO] [stderr] cargo:rerun-if-env-changed=CROSS_COMPILE [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT [INFO] [stderr] cargo:warning=Compiler family detection failed due to error: ToolNotFound: failed to find tool "aarch64-linux-gnu-gcc": No such file or directory (os error 2) [INFO] [stderr] cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS [INFO] [stderr] CFLAGS = None [INFO] [stderr] cargo:rerun-if-env-changed=TARGET_CFLAGS [INFO] [stderr] TARGET_CFLAGS = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_aarch64_unknown_linux_gnu [INFO] [stderr] CFLAGS_aarch64_unknown_linux_gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_aarch64-unknown-linux-gnu [INFO] [stderr] CFLAGS_aarch64-unknown-linux-gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=CC_FORCE_DISABLE [INFO] [stderr] CC_FORCE_DISABLE = None [INFO] [stderr] cargo:rerun-if-env-changed=CC_aarch64-unknown-linux-gnu [INFO] [stderr] CC_aarch64-unknown-linux-gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=CC_aarch64_unknown_linux_gnu [INFO] [stderr] CC_aarch64_unknown_linux_gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=TARGET_CC [INFO] [stderr] TARGET_CC = None [INFO] [stderr] cargo:rerun-if-env-changed=CC [INFO] [stderr] CC = None [INFO] [stderr] cargo:rerun-if-env-changed=CROSS_COMPILE [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] running: "aarch64-linux-gnu-gcc" "-E" "/opt/rustwide/target/aarch64-unknown-linux-gnu/debug/build/regorus-mimalloc-sys-243baa7242fa9c11/out/2439515981474815903detect_compiler_family.c" [INFO] [stderr] cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS [INFO] [stderr] CFLAGS = None [INFO] [stderr] cargo:rerun-if-env-changed=TARGET_CFLAGS [INFO] [stderr] TARGET_CFLAGS = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_aarch64_unknown_linux_gnu [INFO] [stderr] CFLAGS_aarch64_unknown_linux_gnu = None [INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_aarch64-unknown-linux-gnu [INFO] [stderr] CFLAGS_aarch64-unknown-linux-gnu = None [INFO] [stderr] running: LC_ALL="C" "aarch64-linux-gnu-gcc" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-I" "mimalloc/include" "-I" "mimalloc/src" "-Wall" "-Wextra" "-DMI_DEBUG=0" "-o" "/opt/rustwide/target/aarch64-unknown-linux-gnu/debug/build/regorus-mimalloc-sys-243baa7242fa9c11/out/67350adf7ab055d8-static.o" "-c" "mimalloc/src/static.c" [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error occurred in cc-rs: failed to find tool "aarch64-linux-gnu-gcc": No such file or directory (os error 2) [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "stop" "-t" "1" "3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244", kill_on_drop: false }` [INFO] [stdout] 3e4cb520b47d5d4bccfdb7ab025331e140f0ef9125a3fe45a0e26d7bc7878244