Skip to content

fix: Copy gitignored blake3 symlink

40469c6
Select commit
Loading
Failed to load commit list.
Merged

chore: Update lean4-nix #27

fix: Copy gitignored blake3 symlink
40469c6
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [x86_64-linux] succeeded Jan 15, 2026 in 47s

package default [x86_64-linux]

package default [x86_64-linux] succeeded

Details

Last 100 lines of logs:

this derivation will be built:
  /nix/store/zdwxd4g53aqw2haq8av1gmbmxwhss2xv-Blake3.drv
these 2 paths will be fetched (430.13 MiB download, 2502.48 MiB unpacked):
  /nix/store/agwl85x1qbskp065h652c6sc9m535p0x-lean
  /nix/store/nla41igcnyykzirqfs1fi167ssxhc37p-lld-21.1.2
Blake3> Running phase: unpackPhase
Blake3> unpacking source archive /nix/store/mlnvp3m3lcrg1wk2kyx8siay3760jax1-mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3> source root is mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3> Running phase: patchPhase
Blake3> Running phase: updateAutotoolsGnuConfigScriptsPhase
Blake3> Running phase: configurePhase
Blake3> Running phase: buildPhase
Blake3> Build completed successfully (9 jobs).K0 more)
Blake3> Build completed successfully (10 jobs).)
Blake3> Build completed successfully (10 jobs).
Blake3> Build completed successfully (14 jobs).xe
Blake3> Running phase: installPhase
Blake3> Running phase: fixupPhase
Blake3> shrinking RPATHs of ELF executables and libraries in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3_portable.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/lib/libffi.so
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/lib/libBlake3.so
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/blake3_dispatch.o
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/ir/Blake3.c.o.export
Blake3> patchelf: wrong ELF type
Blake3> shrinking /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3/.lake/build/ffi.o
Blake3> patchelf: wrong ELF type
Blake3> checking for references to /build/ in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3...
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patchelf: wrong ELF type
Blake3> patching script interpreter paths in /nix/store/dfz3n75dc6mq28qblzc2bw86kbjkijj8-Blake3