right now workspace is built automatically, and for single file case, the default project won't be built until the file is edited and saved in vscode, could we provide a command to trigger the build manually?