chore: Update lean4-nix #27
Merged
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
Loading