{
  // Commands used by the workspace.
  "tasks": {
    "check": "./tasks/check.sh"
  }
}