Repository navigation

Pin checksums of IDE variant sources and javadoc - #176

Merged

SamiPr0 merged 3 commits into

mainfrom

worktree-trust-ide-sources

Oct 31, 2026

Merged

Pin checksums of IDE variant sources and javadoc#176
SamiPr0 merged 3 commits into
mainfrom
worktree-trust-ide-sources

Commits on Oct 31, 2026
- Pin checksums of Kotlin plugin variant sources
  
  SamiPr0
  and
  claude
  committed
  36c636c
- Merge remote-tracking branch 'origin/main' into worktree-trust-ide-sources
  SamiPr0
  committed
  6b8819d
- Pin checksums of IDE javadoc jars
  
  SamiPr0
  and
  claude
  committed
  8d3d0aa