DocumentationExtensionsdockerdockerAdd support for Docker projects.Available Commands CommandDescriptionpushPush target container image to registry.buildBuild a Dockerfile.<command>Run a docker command.Last updated on January 16, 2025