Bump @types/node from 24.10.2 to 25.0.2#31

tautschnig merged 1 commit intomainmodel-checking/cbmc-proof-debugger:mainfrom

dependabot/npm_and_yarn/types/node-25.0.2model-checking/cbmc-proof-debugger:dependabot/npm_and_yarn/types/node-25.0.2Copy head branch name to clipboard