fix publish docs

lihaoyi · lihaoyi · commit 9f93b7417455 · 2025-01-21T10:02:15.000+08:00
diff --git a/build.mill b/build.mill
@@ -985,7 +985,7 @@ def publishDocs(skipDeploy: Boolean = false): Command[Unit] = {
       println("Skip deployment")
     } else {
       println("Deploying ...")
-      os.proc("ci/deploy_master_docs.sh").call()
+      os.proc("ci/deploy_master_docs.sh").call(cwd = Task.workspace)
     }
     ()
   }

Original file line number	Diff line number	Diff line change
`@@ -985,7 +985,7 @@ def publishDocs(skipDeploy: Boolean = false): Command[Unit] = {`
`985`	`985`	`println("Skip deployment")`
`986`	`986`	`} else {`
`987`	`987`	`println("Deploying ...")`
`988`		`- os.proc("ci/deploy_master_docs.sh").call()`
	`988`	`+ os.proc("ci/deploy_master_docs.sh").call(cwd = Task.workspace)`
`989`	`989`	`}`
`990`	`990`	`()`
`991`	`991`	`}`