Frontend: update/upgrade PNPM packages - #1373

Merged

gusthoff merged 9 commits into

AdaCore:mainfrom

gusthoff:dev/topic/infrastructure/pnpm/upgrade-deps/2026-07-24

Jul 24, 2026

Commits on Jul 24, 2026

Frontend: update PNPM packages
gusthoff
committed
b0e4c16
Frontend: upgrade PNPM packages
gusthoff
committed
948a53e
Frontend: pin typescript to ^6.0.3, revert the ^7.0.2 bump

gusthoff
and
claude
committed
714b107
Frontend: add "dom" to tsconfig lib for the test suite

gusthoff
and
claude
committed
7bf9b0a
Frontend: explicitly declare mocha in tsconfig types

gusthoff
and
claude
committed
1d8c7c8
Frontend: cast mock-socket's WebSocket for the stricter dom lib type

gusthoff
and
claude
committed
3df4a23
Frontend: remove deprecated @types/jszip stub

gusthoff
and
claude
committed
00e93e5
Frontend: remove dead downlevelIteration compiler option

gusthoff
and
claude
committed
e8af047
Frontend: add ambient module declaration for .scss side-effect imports

gusthoff
and
claude
committed
aa40100