nixbot

builds

succeeded hol-guard-3.38.0 checks.x86_64-linux.pkgs-hol-guard · build #7357 · raw

1Sourcing python-remove-tests-dir-hook2Sourcing python-catch-conflicts-hook.sh3Sourcing python-remove-bin-bytecode-hook.sh4Sourcing pypa-build-hook5Using pypaBuildPhase6Sourcing python-runtime-deps-check-hook7Using pythonRuntimeDepsCheckHook8Sourcing pypa-install-hook9Using pypaInstallPhase10Sourcing python-imports-check-hook.sh11Using pythonImportsCheckPhase12Sourcing python-namespaces-hook13Sourcing python-catch-conflicts-hook.sh14Using versionCheckHook
unpackPhase
15unpacking source archive /nix/store/6fnrs9qg52ad9xxk1kd2mw3yk7rpn220-hol_guard-3.38.0.tar.gz16source root is hol_guard-3.38.017setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.38.0/src/codex_plugin_scanner/version.py"
configurePhase
18no configure script, doing nothing
buildPhase
19Executing pypaBuildPhase20Creating a wheel...21pypa build flags: --no-isolation --outdir dist/ --wheel22* Getting build dependencies for wheel...23* Building wheel...24Successfully built hol_guard-3.38.0-py3-none-any.whl25Finished creating a wheel...26/build/hol_guard-3.38.0/dist /build/hol_guard-3.38.027Unpacking to: unpacked/hol_guard-3.38.0...OK28Repacking wheel as ./hol_guard-3.38.0-py3-none-any.whl...OK29/build/hol_guard-3.38.030Finished executing pypaBuildPhase
pythonRuntimeDepsCheckHook
31Executing pythonRuntimeDepsCheck32Checking runtime dependencies for hol_guard-3.38.0-py3-none-any.whl33Finished executing pythonRuntimeDepsCheck
installPhase
34Executing pypaInstallPhase35Successfully installed hol_guard-3.38.0-py3-none-any.whl36Finished executing pypaInstallPhase37installPhase completed in 55 seconds
pythonOutputDistPhase
38Executing pythonOutputDistPhase39Finished executing pythonOutputDistPhase
fixupPhase
40shrinking RPATHs of ELF executables and libraries in /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.041checking for references to /build/ in /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0...42patching script interpreter paths in /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.043stripping (with command strip and flags -S -p) in /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/lib /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/bin44shrinking RPATHs of ELF executables and libraries in /nix/store/jcwg0srzj4p2yd1im4n07n84p0dgamn2-hol-guard-3.38.0-dist45checking for references to /build/ in /nix/store/jcwg0srzj4p2yd1im4n07n84p0dgamn2-hol-guard-3.38.0-dist...46patching script interpreter paths in /nix/store/jcwg0srzj4p2yd1im4n07n84p0dgamn2-hol-guard-3.38.0-dist47Rewriting #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.7/bin/python3.14 to #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.748wrapping `/nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/bin/plugin-guard'...49Rewriting #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.7/bin/python3.14 to #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.750wrapping `/nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/bin/hol-guard-eval'...51Rewriting #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.7/bin/python3.14 to #!/nix/store/lb41b0anx1f98y9y5s9mdv97gjgsq740-python3-3.14.752wrapping `/nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/bin/hol-guard'...53Executing pythonRemoveTestsDir54Finished executing pythonRemoveTestsDir55fixupPhase completed in 51 seconds
installCheckPhase
56Executing versionCheckPhase57Successfully managed to find version 3.38.0 in the output of the command /nix/store/kvacy7kfqkn5izsz7ah3dqi3vdy4r2sv-hol-guard-3.38.0/bin/hol-guard --version58hol-guard 3.38.059Finished versionCheckPhase60no Makefile or custom installCheckPhase, doing nothing
pythonImportsCheckPhase
61Executing pythonImportsCheckPhase62Check whether the following modules can be imported: codex_plugin_scanner