fix(repo): keep only app and lib packages#87

Merged

skulidropek merged 2 commits intoProverCoderAI:mainfrom

skulidropek:issue-86

Feb 21, 2026

Member

skulidropek commented Feb 21, 2026 •

edited

Loading

Summary

remove legacy packages packages/docker-git and packages/web
keep only packages/app and packages/lib in workspace config
regenerate root pnpm-lock.yaml without removed importers

Verification

pnpm install
pnpm run build
pnpm run typecheck
pnpm run test

Closes #86

skulidropek added 2 commits

February 21, 2026 08:39


          fix(repo): keep only app and lib packages


          fix(repo): align root workspaces with publish targets

94c3b50

skulidropek merged commit a48d422 into ProverCoderAI:main

12 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet