lean4-code-actions/.vscode/tasks.json

Refactorings and snippets for Lean 4

// See https://go.microsoft.com/fwlink/?LinkId=733558
// for the documentation about the tasks.json format
{
	"version": "2.0.0",
	"tasks": [
		{
			"type": "npm",
			"script": "build",
			"problemMatcher": "$esbuild",
			"presentation": {
				"reveal": "never"
			},
			"group": {
				"kind": "build",
				"isDefault": true
			},
			"label": "npm: build",
		},
		{
			"type": "npm",
			"script": "watch",
			"problemMatcher": "$esbuild-watch",
			"isBackground": true,
			"presentation": {
				"reveal": "never"
			},
			"group": "build",
			"label": "npm: watch",
			"detail": "yarn run esbuild --sourcemap --watch"
		}
		// {
    //   "label": "jest: run single test",
    //   "type": "shell",
    //   "command": "jest ${file} -t ${selectedText}",
    //   "runOptions": {
    //     "reevaluateOnRerun": false
    //   }
    // }
	]
}