ci: check the packed package without a checkout - #1767

Merged

sergey-shandar merged 16 commits into

mainfrom

claude/private-ts-todo-partial-bydyc9

Aug 29, 2026

Commits on Aug 28, 2026

ci: check the packed package without a checkout
claude
committed
ff9f8f9
ci: the package check works for any package, and no regex
claude
committed
837eda6
ci: module header, co-located proof, and refuse a compiler range
claude
committed
f8b224d
ci: one step per stage in the package check
claude
committed
389c443
ci: install the artifact under a fixed alias
claude
committed
9c1ee71
ci: pin the compiler in config, and drop the shell that was doing logic
claude
committed
26a6c2f
ci: quote the response-file paths
claude
committed
908bc0f
ci: read the compiler pin instead of restating it
claude
committed
5688ffa
ci: one command per step, and paths as arguments
claude
committed
9f6da87
changelog: the check needs an exact pin
claude
committed
652ec49
Merge branch 'main' into claude/private-ts-todo-partial-bydyc9
sergey-shandar
authored
8d2de42
ci: validate the whole compiler pin, not its first character
claude
committed
cefa0d3
Merge remote-tracking branch 'origin/claude/private-ts-todo-partial-bydyc9' into claude/private-ts-todo-partial-bydyc9
claude
committed
42bd069
ci: let tsc enumerate the packed declarations
claude
committed
5f90cda

Commits on Aug 29, 2026

docs: move the package-check review answers out of the threads
claude
committed
f0364d3
ci: reach declarations under dot-prefixed paths
claude
committed
a194225