Minor updates and lint and format fixes (#8327)

This commit is contained in:
Matt Godbolt
2025-12-09 22:16:59 -06:00
committed by GitHub
parent 3ff63867de
commit d2cc7118aa
7 changed files with 2234 additions and 1685 deletions

View File

@@ -54,7 +54,7 @@ const hasGit = fs.existsSync(path.resolve(__dirname, '.git'));
// Hack alert: due to a variety of issues, sometimes we need to change
// the name here. Mostly it's things like webpack changes that affect
// how minification is done, even though that's supposed not to matter.
const webpackJsHack = '.v62.';
const webpackJsHack = '.v63.';
const plugins: Webpack.WebpackPluginInstance[] = [
new MonacoEditorWebpackPlugin({
languages: [