Skip to content

chore: untrack accidentally committed .zero/ build cache#415

Merged
danieljohnmorris merged 1 commit into
mainfrom
chore/remove-zero-cache
May 18, 2026
Merged

chore: untrack accidentally committed .zero/ build cache#415
danieljohnmorris merged 1 commit into
mainfrom
chore/remove-zero-cache

Conversation

@danieljohnmorris
Copy link
Copy Markdown
Collaborator

Removes the .zero/cache/native/ directory from git tracking. These are binary cache files from running Zero's compiler inside the ilo repo. They should never have been committed.

  • 200+ binary .cache files removed from tracking
  • Local files preserved
  • .gitignore updated to prevent recurrence at the repo root (was only ignored inside research/closed-loop-bench/)

The .zero/cache/native/ directory contains binary build artefacts from
Zero's compiler running inside the ilo repo (e.g. during testing the
transpile-to-Zero path). These are build outputs, not source, and should
never be tracked.

- Remove .zero/ from git (kept on local disk)
- Add .zero/ to .gitignore at the repo root (was only ignored inside
  research/closed-loop-bench/)
@codecov
Copy link
Copy Markdown

codecov Bot commented May 18, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ All tests successful. No failed tests found.

📢 Thoughts on this report? Let us know!

@danieljohnmorris danieljohnmorris merged commit 78b01dd into main May 18, 2026
5 checks passed
@danieljohnmorris danieljohnmorris deleted the chore/remove-zero-cache branch May 18, 2026 22:54
@danieljohnmorris danieljohnmorris restored the chore/remove-zero-cache branch May 19, 2026 08:00
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.

1 participant