Skip to content

Frontend: fix all ESLint findings and add CI enforcement - #1375

Merged
gusthoff merged 7 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/pnpm/eslint-fixes/2026-07-24
Jul 24, 2026
Merged

Frontend: fix all ESLint findings and add CI enforcement#1375
gusthoff merged 7 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/pnpm/eslint-fixes/2026-07-24

Commits

Commits on Jul 24, 2026