build(deps-dev): bump @typescript-eslint/eslint-plugin from 8.72.0 to 8.72.1 - #224

build(deps-dev): bump @typescript-eslint/eslint-plugin from 8.72.0 to 8.72.1#224

dependabot[bot] wants to merge 1 commit into

mainmodel-checking/cbmc-proof-debugger:mainfrom

dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.72.1model-checking/cbmc-proof-debugger:dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.72.1Copy head branch name to clipboard