Skip to content

chore: Update lean4-nix

e6285e5
Select commit
Loading
Failed to load commit list.
Merged

chore: Update lean4-nix #65

chore: Update lean4-nix
e6285e5
Select commit
Loading
Failed to load commit list.
Garnix CI / package default [x86_64-linux] succeeded Oct 28, 2025 in 2m 58s

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/lfaylwy747ch09ddx0cgviln0b81qs12-LSpec.SlimCheck.Control.DefaultRange-depRoot.drv
  /nix/store/4w03s2vm1wjhidki10vpayisnrmx7v8y-LSpec.SlimCheck.Control.DefaultRange.drv
  /nix/store/4p7hxdfxmfzhr1abj26b6qi52ylc8jww-LSpec.SlimCheck.Control.Random-depRoot.drv
  /nix/store/qiz59qga06i8hypwvaw0199z9zxilcyj-LSpec.SlimCheck.Control.Random.drv
  /nix/store/drnivig7wcybmwaxgm2pzzgwwqwms3j3-LSpec.SlimCheck.Gen-depRoot.drv
  /nix/store/zi7r5h51w4x0hzb7sv9c6xnhzarygr8r-LSpec.SlimCheck.Gen.drv
  /nix/store/3xs8fdiprbidbys5zml93cy2f97l27xm-LSpec.SlimCheck.Sampleable-depRoot.drv
  /nix/store/hx26ldfd8r0qi3pc7n3raz9rksif4rc1-LSpec.SlimCheck.Sampleable.drv
  /nix/store/0wg510p92c4iqxgg92x050bv14x9d4r7-LSpec.SlimCheck.Checkable-depRoot.drv
  /nix/store/1lv677n94blq5visf870law1hzv5p8aq-LSpec.SlimCheck.Checkable.drv
  /nix/store/wgsp6px30i396fb89prcvwxdg6hpx0m5-LSpec.LSpec-depRoot.drv
  /nix/store/8d4ijirm2c1gmg9vfvj84ry7zmv82ihr-LSpec.LSpec.drv
  /nix/store/2nn444w9k80vpqq3p93da5y2hr6larx4-LSpec.Instances-depRoot.drv
  /nix/store/2za93jzybqr1p796aa7ynxps3r77p4n7-LSpec.Instances.drv
  /nix/store/prnw30c0ly5n0q206fbw8cci8i8748z3-LSpec.SlimCheck-depRoot.drv
  /nix/store/pnis3lljifmam84jaxczcmpjaz3818rg-LSpec.SlimCheck.drv
  /nix/store/zk9052hkhdj7zy1145jmzsk4zm3jrkmb-LSpec-depRoot.drv
  /nix/store/s30j4g9ml2n4bnp1z807a1zyj78ab1i4-LSpec.drv
  /nix/store/qs1fxmldbkygja4pqq602p6d5pfhzh8y-LSpec-depRoot.drv
this path will be fetched (0.00 MiB download, 0.00 MiB unpacked):
  /nix/store/h3bvb81j09fczhll4y3hp8hswx1807jv-Lean