Bump esbuild from 0.27.2 to 0.28.1 in /doc/extensions/ecproofs/proofnav#1044

dependabot[bot] wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

dependabot/npm_and_yarn/doc/extensions/ecproofs/proofnav/esbuild-0.28.1EasyCrypt/easycrypt:dependabot/npm_and_yarn/doc/extensions/ecproofs/proofnav/esbuild-0.28.1Copy head branch name to clipboard