Skip to content

chore(deps): adopt TypeScript 6#82

Merged
drewstone merged 1 commit into
mainfrom
chore/typescript-6
Jul 25, 2026
Merged

chore(deps): adopt TypeScript 6#82
drewstone merged 1 commit into
mainfrom
chore/typescript-6

Conversation

@drewstone

Copy link
Copy Markdown
Contributor

Moves repository compilation to TypeScript 6.0.3, the newest version supported by the current declaration bundler. Removes one test-suite timeout source by running three independent claim-grounding arms concurrently.

Checks: 466/466 executed tests; build and declarations; typecheck; lint 185/185 files; clean package install and 5 exported imports. TypeScript 7 was tested and rejected because upstream rollup-plugin-dts crashes during declaration generation.

@tangletools tangletools left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Auto-approved drewstone PR — 34304400

This PR was opened by the trusted drewstone account.
The full PR reviewer audit still runs separately and will publish findings if it detects issues.

tangletools · auto-approval · reason: drewstone_author · 2026-07-25T01:29:04Z

@drewstone
drewstone merged commit 9456512 into main Jul 25, 2026
2 checks passed
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.

2 participants