nixbot

builds

succeeded hol-guard-3.31.0 checks.aarch64-darwin.pkgs-hol-guard · build #6941 · raw

1mac02: building jjbfmq337gzidavfx9fgv4f29nnr22ah-hol-guard-3.31.0.drv2Sourcing python-remove-tests-dir-hook3Sourcing python-catch-conflicts-hook.sh4Sourcing python-remove-bin-bytecode-hook.sh5Sourcing pypa-build-hook6Using pypaBuildPhase7Sourcing python-runtime-deps-check-hook8Using pythonRuntimeDepsCheckHook9Sourcing pypa-install-hook10Using pypaInstallPhase11Sourcing python-imports-check-hook.sh12Using pythonImportsCheckPhase13Sourcing python-namespaces-hook14Sourcing python-catch-conflicts-hook.sh15Using versionCheckHook
unpackPhase
16unpacking source archive /nix/store/47p3mppplj7m1mhfdpdcmpbaiqlmq6cn-hol_guard-3.31.0.tar.gz17source root is hol_guard-3.31.018setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.31.0/src/codex_plugin_scanner/version.py"
configurePhase
19no configure script, doing nothing
buildPhase
20Executing pypaBuildPhase21Creating a wheel...22pypa build flags: --no-isolation --outdir dist/ --wheel23* Getting build dependencies for wheel...24* Building wheel...25Successfully built hol_guard-3.31.0-py3-none-any.whl26Finished creating a wheel...27/nix/var/nix/builds/nix-87730-2620134274/hol_guard-3.31.0/dist /nix/var/nix/builds/nix-87730-2620134274/hol_guard-3.31.028Unpacking to: unpacked/hol_guard-3.31.0...OK29Repacking wheel as ./hol_guard-3.31.0-py3-none-any.whl...OK30/nix/var/nix/builds/nix-87730-2620134274/hol_guard-3.31.031Finished executing pypaBuildPhase
pythonRuntimeDepsCheckHook
32Executing pythonRuntimeDepsCheck33Checking runtime dependencies for hol_guard-3.31.0-py3-none-any.whl34Finished executing pythonRuntimeDepsCheck
installPhase
35Executing pypaInstallPhase36Successfully installed hol_guard-3.31.0-py3-none-any.whl37Finished executing pypaInstallPhase
pythonOutputDistPhase
38Executing pythonOutputDistPhase39Finished executing pythonOutputDistPhase
fixupPhase
40checking for references to /nix/var/nix/builds/nix-87730-2620134274/ in /nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0...41patching script interpreter paths in /nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.042stripping (with command strip and flags -S) in /nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/lib /nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/bin43checking for references to /nix/var/nix/builds/nix-87730-2620134274/ in /nix/store/k5657km1vf4x3lb9dir70rig04900knc-hol-guard-3.31.0-dist...44patching script interpreter paths in /nix/store/k5657km1vf4x3lb9dir70rig04900knc-hol-guard-3.31.0-dist45Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.746wrapping `/nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/bin/plugin-guard'...47Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.748wrapping `/nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/bin/hol-guard-eval'...49Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.750wrapping `/nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/bin/hol-guard'...51Executing pythonRemoveTestsDir52Finished executing pythonRemoveTestsDir
installCheckPhase
53Executing versionCheckPhase54Successfully managed to find version 3.31.0 in the output of the command /nix/store/1h48rjd84i9abwz7m0azhv81j46v12q6-hol-guard-3.31.0/bin/hol-guard --version55hol-guard 3.31.056Finished versionCheckPhase57no Makefile or custom installCheckPhase, doing nothing
pythonImportsCheckPhase
58Executing pythonImportsCheckPhase59Check whether the following modules can be imported: codex_plugin_scanner