vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 #385058
+22
−0
OfBorg / vscode-extensions.fstarlang.fstar-vscode-assistant, vscode-extensions.fstarlang.fstar-vscode-assistant.passthru.tests on aarch64-darwin
succeeded
Feb 25, 2025 in 0s
Success
Attempted: vscode-extensions.fstarlang.fstar-vscode-assistant
The following builds were skipped because they don't evaluate on aarch64-darwin: vscode-extensions.fstarlang.fstar-vscode-assistant.passthru.tests
Details
Partial log
setting SOURCE_DATE_EPOCH to timestamp 1738887962 of file "extension/README.md"
Running phase: patchPhase
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
Running phase: buildPhase
Running phase: installPhase
Running phase: fixupPhase
checking for references to /private/tmp/nix-build-vscode-extension-FStarLang-fstar-vscode-assistant-0.17.1.drv-0/ in /nix/store/zxi2p8i0gisf2ky91ivx3cqqlyff7sgk-vscode-extension-FStarLang-fstar-vscode-assistant-0.17.1...
patching script interpreter paths in /nix/store/zxi2p8i0gisf2ky91ivx3cqqlyff7sgk-vscode-extension-FStarLang-fstar-vscode-assistant-0.17.1
/nix/store/zxi2p8i0gisf2ky91ivx3cqqlyff7sgk-vscode-extension-FStarLang-fstar-vscode-assistant-0.17.1
Loading