Repository navigation

Downgrade jqwik to 1.9.3 and document QuickTheories replacement plan - #201

Merged

bernardladenthin merged 3 commits into

mainfrom

claude/gifted-edison-D99NS

May 31, 2026

Merged

Downgrade jqwik to 1.9.3 and document QuickTheories replacement plan#201
bernardladenthin merged 3 commits into
mainfrom
claude/gifted-edison-D99NS

Commits on May 31, 2026
- Downgrade jqwik from 1.10.0 to 1.9.3
  claude
  committed
  3710ddc
- Promote QuickTheories as preferred jqwik replacement in CLAUDE.md
  claude
  committed
  0c55909
- Add do-not-upgrade warning above jqwik.version in pom.xml
  claude
  committed
  1e92665