google-deepmind / google-deepmind/formal-conjectures
investigate caching
Open
CI
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 327
Description
- Check if we can get `lake cache` working in our repo
- Investigate caching to `verso`
Contributor guide
Research direction
Start with the repository's existing `lake` setup and the `lake cache` command, then examine how caching to `verso` would fit. Done means reporting whether each caching path works in this repository and identifying the concrete configuration or follow-up needed.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100