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 test [x86_64-linux] succeeded Jan 15, 2026 in 1m 5s

package test [x86_64-linux]

package test [x86_64-linux] succeeded

Details

Last 100 lines of logs:

these 2 derivations will be built:
  /nix/store/zdwxd4g53aqw2haq8av1gmbmxwhss2xv-Blake3.drv
  /nix/store/i8bq87slkz5jbdy0730ppgsz8pvbizp3-Blake3Test.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
Blake3Test> Running phase: unpackPhase
Blake3Test> unpacking source archive /nix/store/mlnvp3m3lcrg1wk2kyx8siay3760jax1-mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3Test> source root is mbrnrfpr7lnalzyl934g00b0zvk7krnk-source
Blake3Test> Running phase: patchPhase
Blake3Test> Running phase: updateAutotoolsGnuConfigScriptsPhase
Blake3Test> Running phase: configurePhase
Blake3Test> Running phase: buildPhase
Blake3Test> Build completed successfully (13 jobs). more)
Blake3Test> Running phase: installPhase
Blake3Test> Running phase: fixupPhase
Blake3Test> shrinking RPATHs of ELF executables and libraries in /nix/store/m1z5ycvih4w6s6vp4va4lrc010ncn20z-Blake3Test
Blake3Test> shrinking /nix/store/m1z5ycvih4w6s6vp4va4lrc010ncn20z-Blake3Test/bin/Blake3Test
Blake3Test> checking for references to /build/ in /nix/store/m1z5ycvih4w6s6vp4va4lrc010ncn20z-Blake3Test...
Blake3Test> patching script interpreter paths in /nix/store/m1z5ycvih4w6s6vp4va4lrc010ncn20z-Blake3Test
Blake3Test> stripping (with command strip and flags -S -p) in  /nix/store/m1z5ycvih4w6s6vp4va4lrc010ncn20z-Blake3Test/bin