Commit 2023-07-18 08:09 ede7b29c

View on Github →

feat: use leantar in lake exe cache (#5710)

  • feat: use leantar in lake exe cache
  • run pack in parallel
  • bump leantar
  • version check
  • use hex for hashes
  • chore: bump to 0.1.2, add .exe on windows
  • fix: file extension on linux
  • fix: arch is reported as arm64 sometimes
  • fix: statically linked 0.1.3

Estimated changes

added def Cache.IO.Version
added def Nat.toHexDigits
added def UInt64.asLTar
deleted def UInt64.asTarGz
added def leanTarArgs