Skip to content

fix: include lake-package-directory in cache key hashes#167

Open
b-mehta wants to merge 1 commit into
leanprover:mainfrom
b-mehta:fix/cache-key-package-directory
Open

fix: include lake-package-directory in cache key hashes#167
b-mehta wants to merge 1 commit into
leanprover:mainfrom
b-mehta:fix/cache-key-package-directory

fix: include lake-package-directory in cache key hashes

d489e2d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Jun 27, 2026 in 9s