To complete the deployment process we need to establish a TPTP deployment to associate the workLOC workbench location with.
Note that the deployment editor is fully described in the referenced topics below. In this example we simply show the necessary steps required to create the deployment and associate the workLOC workbench location with it.
Proceed as follows:Note that there is no need to provide an Artifact in this case.
Related concepts
Artifact Editor - overview
Deployment Editor - overview
Location Editor - overview
Related tasks
Creating an artifact
Creating a deployment
Creating a location
Forming an artifact and location pairing