tree a8b265a46d15b9a4ea9ade01fccf3af1dc09fb29
parent eba0ba3434d300c2c063f08646adc09b17ddd609
author June Tate-Gans <jtgans@google.com> 1621025734 +0000
committer June Tate-Gans <jtgans@google.com> 1621025922 +0000

jenkins: Change the workspace path

In upgrading the jenkins instance to the new operator, we also changed
our default workspace path from /home/jenkins/workspace to
/home/jenkins/agent/workspace.

Change-Id: I6288eb13e77ce84db6c4ee7c038efe136314a32d