Skip to content

chore: Update Lean to v4.24.0

87f2424
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.24.0 #66

chore: Update Lean to v4.24.0
87f2424
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [x86_64-linux] succeeded Oct 31, 2025 in 4m 17s

package default [x86_64-linux]

package default [x86_64-linux] succeeded

Details

Last 100 lines of logs:

these 19 derivations will be built:
  /nix/store/bkv3w83jwz5dflm75v503ly1flivg9yi-LSpec.SlimCheck.Control.DefaultRange-depRoot.drv
  /nix/store/mm2hv4jl0dhvys774n86n0lx3c0h8h49-LSpec.SlimCheck.Control.DefaultRange.drv
  /nix/store/xcj0lykbvlc6bn8n735lmshbfdx5mhic-LSpec.SlimCheck.Control.Random-depRoot.drv
  /nix/store/95xs4l8np2mzf2zf2nqz6fh39zr3xmqj-LSpec.SlimCheck.Control.Random.drv
  /nix/store/nrpnfr7yz1vaqv88gfwflda7d6vqrlmd-LSpec.SlimCheck.Gen-depRoot.drv
  /nix/store/yr7gaciivqxzkmmds9ls7krnxkn75mz7-LSpec.SlimCheck.Gen.drv
  /nix/store/1kq9bqqbq5h5mymfdwc6r61w8am50k7r-LSpec.SlimCheck.Sampleable-depRoot.drv
  /nix/store/hrab9kpns5nyqmr4zr03c6s7wxbx6c3d-LSpec.SlimCheck.Sampleable.drv
  /nix/store/y8g5s60g72cs89kf9glg29mawf1qjrfp-LSpec.SlimCheck.Checkable-depRoot.drv
  /nix/store/2q0jfm6xjam0d4f8dxzq8njmf0rr97wc-LSpec.SlimCheck.Checkable.drv
  /nix/store/qgcw11wm74rhwy1bad41rx250qjlh7hd-LSpec.LSpec-depRoot.drv
  /nix/store/knfgcmi6nj0f0l3q7rwfdc6nk6yi36m2-LSpec.LSpec.drv
  /nix/store/k4kqx9rpsk14xxzmfzf1aml145nmxwv7-LSpec.Instances-depRoot.drv
  /nix/store/myv20zzlhpniffwhm4h0mbb52arly3gf-LSpec.SlimCheck-depRoot.drv
  /nix/store/ypb4b22rlqfmyxsjpgr4vxl19g6zfakz-LSpec.Instances.drv
  /nix/store/yxplywr3mvhb1654vhk2advs7s5hpcqq-LSpec.SlimCheck.drv
  /nix/store/v8v96jrm2f1g9vijcnqrw6x4dsarylvg-LSpec-depRoot.drv
  /nix/store/mvmg2p3iw599dq5k729ydagjs13l5ia7-LSpec.drv
  /nix/store/dcb19ia5cw2z0lnbbjjhv17634p327wg-LSpec-depRoot.drv
these 2 paths will be fetched (0.00 MiB download, 0.00 MiB unpacked):
  /nix/store/niyz7z1hnd2gglmsanmij516yxdg4nkn-Init
  /nix/store/zhlyzpr0l3y9684f7krf53gsrixxp6kr-Lean