Skip to content

chore: update deps#447

Open
jessealama wants to merge 1 commit intoleanprover-community:mainfrom
jessealama:chore/update-semver-deps
Open

chore: update deps#447
jessealama wants to merge 1 commit intoleanprover-community:mainfrom
jessealama:chore/update-semver-deps

Conversation

@jessealama
Copy link

@jessealama jessealama commented Feb 19, 2026

npm install fails on a fresh checkout because i18next-scanner-typescript@1.2.x requires typescript@5.x as a peer dependency, but package.json declares typescript@^4.9.4.

This PR:

  • Bumps TypeScript to ^5.7.0
  • Moves @types/react-router-dom to devDependencies

@jessealama jessealama force-pushed the chore/update-semver-deps branch from 56a6c02 to 246d4f6 Compare February 20, 2026 13:06
@jessealama
Copy link
Author

I've done a bit of checking and can confirm that a number of dependencies (especially dev dependencies) can be updated at least one major version, but I'll hold off on such a PR until this one is merged in.

Moved misplaced devDependencies and removed unused packages
(react-native, duplicate vite plugins) to get npm update working
cleanly. Bumped TypeScript to 5.x to satisfy peer requirements.
@jessealama jessealama force-pushed the chore/update-semver-deps branch from 246d4f6 to b2050ec Compare March 9, 2026 20:15
@jessealama
Copy link
Author

jessealama commented Mar 9, 2026

There was a merge conflict due to #461 but we've fixed it. I also trimmed the PR text to more accurately reflect the work done here (some things were taken care of in #461 )

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