Chore: update Lean to v4.26.0 #68
Merged
Garnix CI / package default [x86_64-linux]
succeeded
Dec 16, 2025 in 43s
package default [x86_64-linux]
package default [x86_64-linux] succeeded
Details
Last 100 lines of logs:
this derivation will be built:
/nix/store/8kbgwvzsq2dffhwas02nfg2qfnc44d3j-LSpec.drv
these 5 paths will be fetched (0.23 MiB download, 0.65 MiB unpacked):
/nix/store/pcf18502sz0b25qya2lzm5f7wy0pd7a6-bzip2-1.0.8-bin
/nix/store/sfir8h7hag5bx9j0bhs1lmx7na3cpfhn-ed-1.21
/nix/store/4q2sv4sqb7y8y4pp3n9bf2aabmgqmwmy-gzip-1.13
/nix/store/lf3ln60nya8xmkymabap9i7gqj60k9py-patch-2.7.6
/nix/store/9r1nl9ksiyszy4qzzg6y2gcdkca0xmhy-stdenv-linux
LSpec> Running phase: unpackPhase
LSpec> unpacking source archive /nix/store/42ps93akg2nd753arzgfgw5vmllr6mhd-7jisq65lrj4fwxk56mqzl1s0bsaw60zl-source
LSpec> source root is 7jisq65lrj4fwxk56mqzl1s0bsaw60zl-source
LSpec> Running phase: patchPhase
LSpec> Running phase: updateAutotoolsGnuConfigScriptsPhase
LSpec> Running phase: configurePhase
LSpec> Running phase: buildPhase
LSpec> Build completed successfully (11 jobs).Kmore) more)Ke)
LSpec> Running phase: installPhase
LSpec> Running phase: fixupPhase
LSpec> shrinking RPATHs of ELF executables and libraries in /nix/store/pgp8fsrglbcv0ds5akdfr7b7vkyy71w7-LSpec
LSpec> checking for references to /build/ in /nix/store/pgp8fsrglbcv0ds5akdfr7b7vkyy71w7-LSpec...
LSpec> patching script interpreter paths in /nix/store/pgp8fsrglbcv0ds5akdfr7b7vkyy71w7-LSpec
LSpec> stripping (with command strip and flags -S -p) in /nix/store/pgp8fsrglbcv0ds5akdfr7b7vkyy71w7-LSpec/lib
Loading