Skip to content

Add disk cache#86

Merged
eed3si9n merged 1 commit into
mainfrom
wip/cache
May 19, 2026
Merged

Add disk cache#86
eed3si9n merged 1 commit into
mainfrom
wip/cache

Conversation

@eed3si9n
Copy link
Copy Markdown
Member

@eed3si9n eed3si9n commented May 19, 2026

Fixes #81

@eed3si9n eed3si9n force-pushed the wip/cache branch 2 times, most recently from 0589f23 to e8f6cff Compare May 19, 2026 06:22
@eed3si9n eed3si9n merged commit 2e22282 into main May 19, 2026
6 checks passed
@eed3si9n eed3si9n deleted the wip/cache branch May 19, 2026 06:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[sbt2] Consider automatically caching the machine-wide cache

1 participant