Update dev installation root URL

gtsiolis · roboquat · commit 17b49d010bd3 · 2022-01-31T10:29:22.000+01:00
diff --git a/.werft/build.ts b/.werft/build.ts
@@ -619,7 +619,7 @@ export async function deployToDevWithInstaller(deploymentConfig: DeploymentConfi
         werft.fail(installerSlices.APPLY_INSTALL_MANIFESTS, err);
     } finally {
         // produce the result independently of install succeding, so that in case fails we still have the URL.
-        exec(`werft log result -d "dev installation" -c github-check-preview-env url ${url}/projects`);
+        exec(`werft log result -d "dev installation" -c github-check-preview-env url ${url}/workspaces`);
     }
 
     try {

Original file line number	Diff line number	Diff line change
`@@ -619,7 +619,7 @@ export async function deployToDevWithInstaller(deploymentConfig: DeploymentConfi`
`619`	`619`	`werft.fail(installerSlices.APPLY_INSTALL_MANIFESTS, err);`
`620`	`620`	`} finally {`
`621`	`621`	`// produce the result independently of install succeding, so that in case fails we still have the URL.`
`622`		- exec(`werft log result -d "dev installation" -c github-check-preview-env url ${url}/projects`);
	`622`	+ exec(`werft log result -d "dev installation" -c github-check-preview-env url ${url}/workspaces`);
`623`	`623`	`}`
`624`	`624`
`625`	`625`	`try {`