these 2 derivations will be built: /nix/store/sj8afbvkriasf7adgb343a9ajqgpy67b-hol-guard-3.12.3.drv /nix/store/dl4hnl1snb66jar44n03v9vlx1bayvwg-check-hol-guard.drv these 2 paths will be fetched (633.7 KiB download, 3.0 MiB unpacked): /nix/store/f7b48j5plhlcgwh97f0k61vkikh2scgg-python3.14-publicsuffixlist-1.0.2.20260925 /nix/store/62i5lj51xx6m2s9vwpbvkpvc31j32fj6-python3.14-regex-2026.7.11 building '/nix/store/sj8afbvkriasf7adgb343a9ajqgpy67b-hol-guard-3.12.3.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=22&system=aarch64-linux' building '/nix/store/sj8afbvkriasf7adgb343a9ajqgpy67b-hol-guard-3.12.3.drv' on farm.numtide.com:50051 hol-guard-3.12.3> elastic-arm-64da6151: building sj8afbvkriasf7adgb343a9ajqgpy67b-hol-guard-3.12.3.drv hol-guard-3.12.3> Sourcing python-remove-tests-dir-hook hol-guard-3.12.3> Sourcing python-catch-conflicts-hook.sh hol-guard-3.12.3> Sourcing python-remove-bin-bytecode-hook.sh hol-guard-3.12.3> Sourcing pypa-build-hook hol-guard-3.12.3> Using pypaBuildPhase hol-guard-3.12.3> Sourcing python-runtime-deps-check-hook hol-guard-3.12.3> Using pythonRuntimeDepsCheckHook hol-guard-3.12.3> Sourcing pypa-install-hook hol-guard-3.12.3> Using pypaInstallPhase hol-guard-3.12.3> Sourcing python-imports-check-hook.sh hol-guard-3.12.3> Using pythonImportsCheckPhase hol-guard-3.12.3> Sourcing python-namespaces-hook hol-guard-3.12.3> Sourcing python-catch-conflicts-hook.sh hol-guard-3.12.3> Using versionCheckHook hol-guard-3.12.3> Running phase: unpackPhase hol-guard-3.12.3> unpacking source archive /nix/store/gpygf4janyivrmn7sx6bvq6w58zhm92h-hol_guard-3.12.3.tar.gz hol-guard-3.12.3> source root is hol_guard-3.12.3 hol-guard-3.12.3> setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.12.3/uv.lock" hol-guard-3.12.3> Running phase: patchPhase hol-guard-3.12.3> Running phase: updateAutotoolsGnuConfigScriptsPhase hol-guard-3.12.3> Running phase: configurePhase hol-guard-3.12.3> no configure script, doing nothing hol-guard-3.12.3> Running phase: buildPhase hol-guard-3.12.3> Executing pypaBuildPhase hol-guard-3.12.3> Creating a wheel... hol-guard-3.12.3> pypa build flags: --no-isolation --outdir dist/ --wheel hol-guard-3.12.3> * Getting build dependencies for wheel... hol-guard-3.12.3> * Building wheel... hol-guard-3.12.3> Successfully built hol_guard-3.12.3-py3-none-any.whl hol-guard-3.12.3> Finished creating a wheel... hol-guard-3.12.3> /build/hol_guard-3.12.3/dist /build/hol_guard-3.12.3 hol-guard-3.12.3> Unpacking to: unpacked/hol_guard-3.12.3...OK hol-guard-3.12.3> Repacking wheel as ./hol_guard-3.12.3-py3-none-any.whl...OK hol-guard-3.12.3> /build/hol_guard-3.12.3 hol-guard-3.12.3> Finished executing pypaBuildPhase hol-guard-3.12.3> Running phase: pythonRuntimeDepsCheckHook hol-guard-3.12.3> Executing pythonRuntimeDepsCheck hol-guard-3.12.3> Checking runtime dependencies for hol_guard-3.12.3-py3-none-any.whl hol-guard-3.12.3> Finished executing pythonRuntimeDepsCheck hol-guard-3.12.3> Running phase: installPhase hol-guard-3.12.3> Executing pypaInstallPhase hol-guard-3.12.3> Successfully installed hol_guard-3.12.3-py3-none-any.whl hol-guard-3.12.3> Finished executing pypaInstallPhase hol-guard-3.12.3> Running phase: pythonOutputDistPhase hol-guard-3.12.3> Executing pythonOutputDistPhase hol-guard-3.12.3> Finished executing pythonOutputDistPhase hol-guard-3.12.3> Running phase: fixupPhase hol-guard-3.12.3> shrinking RPATHs of ELF executables and libraries in /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3 hol-guard-3.12.3> checking for references to /build/ in /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3... hol-guard-3.12.3> patching script interpreter paths in /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3 hol-guard-3.12.3> stripping (with command strip and flags -S -p) in /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/lib /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/bin hol-guard-3.12.3> shrinking RPATHs of ELF executables and libraries in /nix/store/1y4ri4gs7cjbw5da11lmqwf1lib3kaqw-hol-guard-3.12.3-dist hol-guard-3.12.3> checking for references to /build/ in /nix/store/1y4ri4gs7cjbw5da11lmqwf1lib3kaqw-hol-guard-3.12.3-dist... hol-guard-3.12.3> patching script interpreter paths in /nix/store/1y4ri4gs7cjbw5da11lmqwf1lib3kaqw-hol-guard-3.12.3-dist hol-guard-3.12.3> Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7 hol-guard-3.12.3> wrapping `/nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/bin/hol-guard-eval'... hol-guard-3.12.3> Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7 hol-guard-3.12.3> wrapping `/nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/bin/plugin-guard'... hol-guard-3.12.3> Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7 hol-guard-3.12.3> wrapping `/nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/bin/hol-guard'... hol-guard-3.12.3> Executing pythonRemoveTestsDir hol-guard-3.12.3> Finished executing pythonRemoveTestsDir hol-guard-3.12.3> Running phase: installCheckPhase hol-guard-3.12.3> Executing versionCheckPhase hol-guard-3.12.3> Successfully managed to find version 3.12.3 in the output of the command /nix/store/fniw6z60aialy0abqlxzb8sbbrlc2q5r-hol-guard-3.12.3/bin/hol-guard --version hol-guard-3.12.3> hol-guard 3.12.3 hol-guard-3.12.3> Finished versionCheckPhase hol-guard-3.12.3> no Makefile or custom installCheckPhase, doing nothing hol-guard-3.12.3> Running phase: pythonCatchConflictsPhase hol-guard-3.12.3> Running phase: pythonRemoveBinBytecodePhase hol-guard-3.12.3> Running phase: pythonImportsCheckPhase hol-guard-3.12.3> Executing pythonImportsCheckPhase hol-guard-3.12.3> Check whether the following modules can be imported: codex_plugin_scanner building '/nix/store/dl4hnl1snb66jar44n03v9vlx1bayvwg-check-hol-guard.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=22&system=aarch64-linux' building '/nix/store/dl4hnl1snb66jar44n03v9vlx1bayvwg-check-hol-guard.drv' on farm.numtide.com:50051 check-hol-guard> elastic-arm-64da6151: building dl4hnl1snb66jar44n03v9vlx1bayvwg-check-hol-guard.drv upload niks3: ok