From b914c8ce86e92b87eaacb6a2f9822a673b8f6718 Mon Sep 17 00:00:00 2001
From: Raoul Schaffranek <raoul.schaffranek@runtimeverification.com>
Date: Mon, 27 May 2024 11:53:31 +0200
Subject: [PATCH] Add build task

---
 package.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/package.json b/package.json
index 203123d..4d733d8 100644
--- a/package.json
+++ b/package.json
@@ -175,6 +175,7 @@
     ]
   },
   "scripts": {
+    "build": "npm run vscode:prepublish",
     "vscode:prepublish": "npm run esbuild-base -- --minify && npm run esbuild-base-web -- --minify",
     "esbuild-base": "esbuild ./src/extension.ts     --bundle --outfile=build/extension.js     --external:vscode --format=cjs --platform=node",
     "esbuild-base-web": "esbuild ./src/extension.web.ts --bundle --outfile=build/extension.web.js --external:vscode --format=esm --platform=browser",