Skip to content

workspace: remove empty GrothCrypto package#41

Merged
0xpantera merged 1 commit into
masterfrom
chore/remove-empty-grothcrypto
May 12, 2026
Merged

workspace: remove empty GrothCrypto package#41
0xpantera merged 1 commit into
masterfrom
chore/remove-empty-grothcrypto

Conversation

@0xpantera

Copy link
Copy Markdown
Owner

Summary

  • remove the placeholder GrothCrypto package directory
  • remove GrothCrypto from the root workspace and root manifest
  • remove GrothCrypto from monorepo test runners and getting-started docs
  • preserve the useful PLAN.md.bk follow-ups in the tracked roadmap before deleting the untracked backup locally

Validation

  • scripts/test_all.jl
  • docs/make.jl

Notes

GrothCrypto only contained generated placeholder module/test/docs files and no public API.

@0xpantera 0xpantera merged commit 87e016c into master May 12, 2026
3 checks passed
@0xpantera 0xpantera deleted the chore/remove-empty-grothcrypto branch May 12, 2026 13:11
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