nixbot

builds

succeeded hol-guard-3.38.0 checks.aarch64-darwin.pkgs-hol-guard · build #7273 · raw

1mac02: building zgdlag8008ayxxa0ndjcqp2q2ikp70cq-hol-guard-3.38.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/6fnrs9qg52ad9xxk1kd2mw3yk7rpn220-hol_guard-3.38.0.tar.gz17source root is hol_guard-3.38.018setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.38.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.38.0-py3-none-any.whl26Finished creating a wheel...27/nix/var/nix/builds/nix-36146-4108695102/hol_guard-3.38.0/dist /nix/var/nix/builds/nix-36146-4108695102/hol_guard-3.38.028Unpacking to: unpacked/hol_guard-3.38.0...OK29Repacking wheel as ./hol_guard-3.38.0-py3-none-any.whl...OK30/nix/var/nix/builds/nix-36146-4108695102/hol_guard-3.38.031Finished executing pypaBuildPhase
pythonRuntimeDepsCheckHook
32Executing pythonRuntimeDepsCheck33Checking runtime dependencies for hol_guard-3.38.0-py3-none-any.whl34Finished executing pythonRuntimeDepsCheck
installPhase
35Executing pypaInstallPhase36Successfully installed hol_guard-3.38.0-py3-none-any.whl37Finished executing pypaInstallPhase
pythonOutputDistPhase
38Executing pythonOutputDistPhase39Finished executing pythonOutputDistPhase
fixupPhase
40checking for references to /nix/var/nix/builds/nix-36146-4108695102/ in /nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0...41patching script interpreter paths in /nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.042stripping (with command strip and flags -S) in /nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/lib /nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/bin43checking for references to /nix/var/nix/builds/nix-36146-4108695102/ in /nix/store/bdvw9iqwn6s5kqj6i2m5zvidssd4kqkw-hol-guard-3.38.0-dist...44patching script interpreter paths in /nix/store/bdvw9iqwn6s5kqj6i2m5zvidssd4kqkw-hol-guard-3.38.0-dist45Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.746wrapping `/nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/bin/plugin-guard'...47Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.748wrapping `/nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/bin/hol-guard-eval'...49Rewriting #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.7/bin/python3.14 to #!/nix/store/0kcws5blwbdyxqxjd1w8hjipz61xny3k-python3-3.14.750wrapping `/nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/bin/hol-guard'...51Executing pythonRemoveTestsDir52Finished executing pythonRemoveTestsDir53fixupPhase completed in 32 seconds
installCheckPhase
54Executing versionCheckPhase55Successfully managed to find version 3.38.0 in the output of the command /nix/store/aysd87pzphvji6c2yd7yqxfdmis6h0kx-hol-guard-3.38.0/bin/hol-guard --version56hol-guard 3.38.057Finished versionCheckPhase58no Makefile or custom installCheckPhase, doing nothing
pythonImportsCheckPhase
59Executing pythonImportsCheckPhase60Check whether the following modules can be imported: codex_plugin_scanner